33 found
Order:
Disambiguations
Ramon Jansana [39]Ramón I. Jansana [2]
  1.  22
    Selfextensional Logics with a Conjunction.Ramon Jansana - 2006 - Studia Logica 84 (1):63-104.
    A logic is selfextensional if its interderivability (or mutual consequence) relation is a congruence relation on the algebra of formulas. In the paper we characterize the selfextensional logics with a conjunction as the logics that can be defined using the semilattice order induced by the interpretation of the conjunction in the algebras of their algebraic counterpart. Using the charactrization we provide simpler proofs of several results on selfextensional logics with a conjunction obtained in [13] using Gentzen systems. We also obtain (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  2. Weakly Algebraizable Logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
    In the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  3.  9
    Leibniz Filters and the Strong Version of a Protoalgebraic Logic.Josep Maria Font & Ramon Jansana - 2001 - Archive for Mathematical Logic 40 (6):437-465.
    A filter of a sentential logic ? is Leibniz when it is the smallest one among all the ?-filters on the same algebra having the same Leibniz congruence. This paper studies these filters and the sentential logic ?+ defined by the class of all ?-matrices whose filter is Leibniz, which is called the strong version of ?, in the context of protoalgebraic logics with theorems. Topics studied include an enhanced Correspondence Theorem, characterizations of the weak algebraizability of ?+ and of (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  4.  15
    A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
    In the present paper we study systematically several consequence relations on the usual language of propositional intuitionistic logic that can be defined semantically by using Kripke frames and the same defining truth conditions for the connectives as in intuitionistic logic but without imposing some of the conditions on the Kripke frames that are required in the intuitionistic case. The logics so obtained are called subintuitionistic logics in the literature. We depart from the perspective of considering a logic just as a (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  5.  26
    On the Closure Properties of the Class of Full G-Models of a Deductive System.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2006 - Studia Logica 83 (1-3):215-278.
    In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from the lattice-theoretical point of view; this set is represented by the lattice FACSs A of all algebraic closed-set systems C on A such that (A, C) ε FGModS. We relate some properties of these structures (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  6.  5
    Compatibility Operators in Abstract Algebraic Logic.Hugo Albuquerque, Josep Maria Font & Ramon Jansana - 2016 - Journal of Symbolic Logic 81 (2):417-462.
  7.  25
    Bounded Distributive Lattices with Strict Implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
    The present paper introduces and studies the variety WH of weakly Heyting algebras. It corresponds to the strict implication fragment of the normal modal logic K which is also known as the subintuitionistic local consequence of the class of all Kripke models. The tools developed in the paper can be applied to the study of the subvarieties of WH; among them are the varieties determined by the strict implication fragments of normal modal logics as well as varieties that do not (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  8.  18
    Leibniz Filters Revisited.Ramon Jansana - 2003 - Studia Logica 75 (3):305 - 317.
    Leibniz filters play a prominent role in the theory of protoalgebraic logics. In [3] the problem of the definability of Leibniz filters is considered. Here we study the definability of Leibniz filters with parameters. The main result of the paper says that a protoalgebraic logic S has its strong version weakly algebraizable iff it has its Leibniz filters explicitly definable with parameters.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  9.  24
    Priestley Style Duality for Distributive Meet-Semilattices.Guram Bezhanishvili & Ramon Jansana - 2011 - Studia Logica 98 (1-2):83-122.
    We generalize Priestley duality for distributive lattices to a duality for distributive meet-semilattices. On the one hand, our generalized Priestley spaces are easier to work with than Celani’s DS-spaces, and are similar to Hansoul’s Priestley structures. On the other hand, our generalized Priestley morphisms are similar to Celani’s meet-relations and are more general than Hansoul’s morphisms. As a result, our duality extends Hansoul’s duality and is an improvement of Celani’s duality.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  10.  24
    A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
    In the present paper we study systematically several consequence relations on the usual language of propositional intuitionistic logic that can be defined semantically by using Kripke frames and the same defining truth conditions for the connectives as in intuitionistic logic but without imposing some of the conditions on the Kripke frames that are required in the intuitionistic case. The logics so obtained are called subintuitionistic logics in the literature. We depart from the perspective of considering a logic just as a (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  11.  7
    Algebraizable Logics with a Strong Conjunction and Their Semi-Lattice Based Companions.Ramon Jansana - 2012 - Archive for Mathematical Logic 51 (7-8):831-861.
    The best known algebraizable logics with a conjunction and an implication have the property that the conjunction defines a meet semi-lattice in the algebras of their algebraic counterpart. This property makes it possible to associate with them a semi-lattice based deductive system as a companion. Moreover, the order of the semi-lattice is also definable using the implication. This makes that the connection between the properties of the logic and the properties of its semi-lattice based companion is strong. We introduce a (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  6
    Canonical Extensions for Congruential Logics with the Deduction Theorem.Mai Gehrke, Ramon Jansana & Alessandra Palmigiano - 2010 - Annals of Pure and Applied Logic 161 (12):1502-1519.
    We introduce a new and general notion of canonical extension for algebras in the algebraic counterpart of any finitary and congruential logic . This definition is logic-based rather than purely order-theoretic and is in general different from the definition of canonical extensions for monotone poset expansions, but the two definitions agree whenever the algebras in are based on lattices. As a case study on logics purely based on implication, we prove that the varieties of Hilbert and Tarski algebras are canonical (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  13.  36
    Update to “A Survey of Abstract Algebraic Logic”.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2009 - Studia Logica 91 (1):125-130.
    A definition and some inaccurate cross-references in the paper A Survey ofAlgebraic Logic, which might confuse some readers, are clarified and corrected; a short discussion of the main one is included. We also update a dozen of bibliographic references.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  4
    Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality.Pilar Dellunde & Ramon Jansana - 1996 - Journal of Symbolic Logic 61 (4):1242-1260.
  15.  16
    Leibniz-Linked Pairs of Deductive Systems.Josep Maria Font & Ramon Jansana - 2011 - Studia Logica 99 (1-3):171-202.
    A pair of deductive systems (S,S’) is Leibniz-linked when S’ is an extension of S and on every algebra there is a map sending each filter of S to a filter of S’ with the same Leibniz congruence. We study this generalization to arbitrary deductive systems of the notion of the strong version of a protoalgebraic deductive system, studied in earlier papers, and of some results recently found for particular non-protoalgebraic deductive systems. The necessary examples and counterexamples found in the (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  17
    Willem Blok's Contribution to Abstract Algebraic Logic.Ramon Jansana - 2006 - Studia Logica 83 (1-3):31-48.
    Willem Blok was one of the founders of the field Abstract Algebraic Logic. The paper describes his research in this field.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  5
    Full Models for Positive Modal Logic.Ramon Jansana - 2002 - Mathematical Logic Quarterly 48 (3):427-445.
    The positive fragment of the local modal consequence relation defined by the class of all Kripke frames is studied in the context ofAlgebraic Logic. It is shown that this fragment is non-protoalgebraic and that its class of canonically associated algebras according to the criteria set up in [7] is the class of positive modal algebras. Moreover its full models are characterized as the models of the Gentzen calculus introduced in [3].
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  18.  1
    On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication.Ramon Jansana & Hernán Javier San Martín - forthcoming - Studia Logica:1-24.
    In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in this variety. We apply this description in order to study compatible functions.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Josep Maria Font.Ramon Jansana - 2011 - Studia Logica 99 (1-3):1-27.
     
    Export citation  
     
    My bibliography  
  20.  2
    On Kalman’s Functor for Bounded Hemi-Implicative Semilattices and Hemi-Implicative Lattices.Ramon Jansana & Hernán Javier San Martín - 2018 - Logic Journal of the IGPL 26 (1):47-82.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21.  14
    Foreword.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2003 - Studia Logica 74 (1-2):1-9.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  15
    On the Mathematical Content of the Theory of Classes KM.Ramón Jansana - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):399-412.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  6
    Some Logics Related to von Wright's Logic of Place.Ramón Jansana - 1994 - Notre Dame Journal of Formal Logic 35 (1):88-98.
    In this paper we study some logics related to the logic of place introduced by von Wright and studied by Segerberg. For every we study the logic of the class of frames whose accessibility relation R satisfies the following condition: if then there is such that . For a fixed the logic is the one axiomatized by K , which we call Kn.4B, where . We prove that these logics are canonical and hence complete, and that they have the finite (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  15
    Full Models for Sentential Logics.Josep Maria Font & Ramon Jansana - 1995 - Bulletin of the Section of Logic 24 (3):123-131.
    Direct download  
     
    Export citation  
     
    My bibliography  
  25.  23
    Abstract Modal Logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.
    In this paper we develop a general framework to deal with abstract logics associated with a given modal logic. In particular we study the abstract logics associated with the weak and strong deductive systems of the normal modal logicK and its intuitionistic version. We also study the abstract logics that satisfy the conditionC +(X)=C( in I n X) and find the modal deductive systems whose abstract logics, in addition to being classical or intuitionistic, satisfy that condition. Finally we study the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  26.  13
    Introduction.Josep Maria Font & Ramon Jansana - 2013 - Studia Logica 101 (4):647-650.
  27.  8
    On the Free Implicative Semilattice Extension of a Hilbert Algebra.Sergio A. Celani & Ramon Jansana - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
    Hilbert algebras provide the equivalent algebraic semantics in the sense of Blok and Pigozzi to the implication fragment of intuitionistic logic. They are closely related to implicative semilattices. Porta proved that every Hilbert algebra has a free implicative semilattice extension. In this paper we introduce the notion of an optimal deductive filter of a Hilbert algebra and use it to provide a different proof of the existence of the free implicative semilattice extension of a Hilbert algebra as well as a (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  28.  15
    Foreword.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2000 - Studia Logica 65 (1):1-9.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  29.  4
    Indian Institute of Technology, Kanpur January 14–26, 2008.Ramon Jansana, Mai Gehrke, Alessandra Palmigiano, Mihir K. Chakraborty, Didier Dubois, Eric Pacuit, Rohit Parikh & Prakash Panangaden - 2008 - Bulletin of Symbolic Logic 14 (4).
  30.  2
    On the Mathematical Content of the Theory of Classes KM.Ramón Jansana - 1989 - Mathematical Logic Quarterly 35 (5):399-412.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  31.  1
    On the Deductive System of the Order of an Equationally Orderable Quasivariety.Ramon Jansana - 2016 - Studia Logica 104 (3):547-566.
    We consider the equationally orderable quasivarieties and associate with them deductive systems defined using the order. The method of definition of these deductive systems encompasses the definition of logics preserving degrees of truth we find in the research areas of substructural logics and mathematical fuzzy logic. We prove several general results, for example that the deductive systems so defined are finitary and that the ones associated with equationally orderable varieties are congruential.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Weakly Algebraizable Logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
    In the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.
    Direct download  
     
    Export citation  
     
    My bibliography  
  33. Nuevas tendencias en la teoría de modelos de lenguajes naturales.Ramón I. Jansana & Jd Quesada - 1985 - Teorema: International Journal of Philosophy 15 (1-2):185-211.
    Translate
     
     
    Export citation  
     
    My bibliography