41 found
Order:
Disambiguations
Ramon Jansana [50]Ramón I. Jansana [2]
  1.  26
    The Poset of All Logics III: Finitely Presentable Logics.Ramon Jansana & Tommaso Moraschini - 2020 - Studia Logica 109 (3):539-580.
    A logic in a finite language is said to be finitely presentable if it is axiomatized by finitely many finite rules. It is proved that binary non-indexed products of logics that are both finitely presentable and finitely equivalential are essentially finitely presentable. This result does not extend to binary non-indexed products of arbitrary finitely presentable logics, as shown by a counterexample. Finitely presentable logics are then exploited to introduce finitely presentable Leibniz classes, and to draw a parallel between the Leibniz (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 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 (8 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  3.  62
    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 (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  4.  58
    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  
     
    Bookmark   27 citations  
  5.  51
    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  
     
    Export citation  
     
    Bookmark   24 citations  
  6.  56
    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 (6 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  7.  50
    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  
     
    Bookmark   20 citations  
  8. 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.
     
    Export citation  
     
    Bookmark   15 citations  
  9.  40
    Some characterization theorems for infinitary universal horn logic without equality.Pilar Dellunde & Ramon Jansana - 1996 - Journal of Symbolic Logic 61 (4):1242-1260.
    In this paper we mainly study preservation theorems for two fragments of the infinitary languagesLκκ, withκregular, without the equality symbol: the universal Horn fragment and the universal strict Horn fragment. In particular, whenκisω, we obtain the corresponding theorems for the first-order case.The universal Horn fragment of first-order logic (with equality) has been extensively studied; for references see [10], [7] and [8]. But the universal Horn fragment without equality, used frequently in logic programming, has received much less attention from the model (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  10.  82
    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 of Abstract Algebraic 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 (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  11.  55
    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 (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  12.  41
    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  
     
    Bookmark   5 citations  
  13.  40
    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 (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  14.  61
    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 (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  15.  52
    Compatibility operators in abstract algebraic logic.Hugo Albuquerque, Josep Maria Font & Ramon Jansana - 2016 - Journal of Symbolic Logic 81 (2):417-462.
    This paper presents a unified framework that explains and extends the already successful applications of the Leibniz operator, the Suszko operator, and the Tarski operator in recent developments in abstract algebraic logic. To this end, we refine Czelakowski’s notion of an S-compatibility operator, and introduce the notion of coherent family of S-compatibility operators, for a sentential logic S. The notion of coherence is a restricted property of commutativity with inverse images by surjective homomorphisms, which is satisfied by both the Leibniz (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  39
    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  
     
    Export citation  
     
    Bookmark   7 citations  
  17.  43
    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.
  18.  38
    The Strong Version of a Sentential Logic.Hugo Albuquerque, Josep Maria Font & Ramon Jansana - 2017 - Studia Logica 105 (4):703-760.
    This paper explores a notion of “the strong version” of a sentential logic S, initially defined in terms of the notion of a Leibniz filter, and shown to coincide with the logic determined by the matrices of S whose filter is the least S-filter in the algebra of the matrix. The paper makes a general study of this notion, which appears to unify under an abstract framework the relationships between many pairs of logics in the literature. The paradigmatic examples are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  26
    The Strong Version of a Sentential Logic.Ramon Jansana, Josep Maria Font & Hugo Albuquerque - 2017 - Studia Logica 105 (4):703-760.
    This paper explores a notion of “the strong version” of a sentential logic S, initially defined in terms of the notion of a Leibniz filter, and shown to coincide with the logic determined by the matrices of S whose filter is the least S-filter in the algebra of the matrix. The paper makes a general study of this notion, which appears to unify under an abstract framework the relationships between many pairs of logics in the literature. The paradigmatic examples are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  55
    Residuated bilattices.Umberto Rivieccio & Ramon Jansana - 2012 - Soft Computing 16 (3):493-504.
    We introduce a new product bilattice con- struction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize the congruences of its members in terms of those of their lat- tice factors. Finally, we show how (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  33
    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  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  54
    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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  47
    Varieties of interlaced bilattices.Umberto Rivieccio, Ramon Jansana & Felix Bou Moliner - 2011 - Algebra Universalis 66 (1-2):115-141.
    The paper contains some algebraic results on several varieties of algebras having an (interlaced) bilattice reduct. Some of these algebras have already been studied in the literature (for instance bilattices with conflation, introduced by M. Fit- ting), while others arose from the algebraic study of O. Arieli and A. Avron’s bilattice logics developed in the third author’s PhD dissertation. We extend the representation theorem for bounded interlaced bilattices (proved, among others, by A. Avron) to un- bounded bilattices and prove analogous (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  54
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  27
    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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  26
    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 (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  24
    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  
     
    Bookmark   1 citation  
  28.  23
    A variety of algebras closely related to subordination algebras.Sergio Celani & Ramon Jansana - 2022 - Journal of Applied Non-Classical Logics 32 (2):200-238.
    We introduce a variety of algebras in the language of Boolean algebras with an extra implication, namely the variety of pseudo-subordination algebras, which is closely related to subordination algebras. We believe it provides a minimal general algebraic framework where to place and systematise the research on classes of algebras related to several kinds of subordination algebras. We also consider the subvariety of pseudo-contact algebras, related to contact algebras, and the subvariety of the strict implication algebras introduced in Bezhanishvili et al. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  31
    Foreword.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2000 - Studia Logica 65 (1):1-9.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30.  41
    Foreword.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2003 - Studia Logica 74 (1-2):1-9.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  35
    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  
     
    Bookmark  
  32.  38
    Introduction.Josep Maria Font & Ramon Jansana - 2013 - Studia Logica 101 (4):647-650.
  33.  60
    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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  30
    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).
  35.  20
    Leibniz-linked Pairs of Deductive Systems.Ramon Jansana - 2011 - Studia Logica 99 (1-3):1-27.
    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  
     
    Export citation  
     
    Bookmark  
  36. 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.
     
    Export citation  
     
    Bookmark  
  37.  23
    On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication.Ramon Jansana & Hernán Javier San Martín - 2019 - Studia Logica 107 (2):351-374.
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  20
    On the Mathematical Content of the Theory of Classes KM.Ramón Jansana - 1989 - Mathematical Logic Quarterly 35 (5):399-412.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  33
    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  
     
    Export citation  
     
    Bookmark  
  40.  24
    On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication.Hernán Javier San Martín & Ramon Jansana - 2019 - Studia Logica 107 (2):351-374.
    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  
     
    Bookmark  
  41.  23
    Petr Cintula, Carles Noguera, Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics, vol. 57 of Trends in Logic, Springer, 2021, pp. 465+xxii; ISBN: 978-3-030-85674-8 (Hardcover) 117.69€, ISBN: 978-3-030- 85675-5 (eBook) 93.08 €. [REVIEW]Ramon Jansana - 2023 - Studia Logica 111 (4):709-715.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark