Switch to: References

Add citations

You must login to add citations.
  1. Selfextensional logics with a distributive nearlattice term.Luciano J. González - 2019 - Archive for Mathematical Logic 58 (1-2):219-243.
    We define when a ternary term m of an algebraic language \ is called a distributive nearlattice term -term) of a sentential logic \. Distributive nearlattices are ternary algebras generalising Tarski algebras and distributive lattices. We characterise the selfextensional logics with a \-term through the interpretation of the DN-term in the algebras of the algebraic counterpart of the logics. We prove that the canonical class of algebras associated with a selfextensional logic with a \-term is a variety, and we obtain (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • l -Hemi-Implicative Semilattices.José Luis Castiglioni & Hernán Javier San Martín - 2018 - Studia Logica 106 (4):675-690.
    An l-hemi-implicative semilattice is an algebra \\) such that \\) is a semilattice with a greatest element 1 and satisfies: for every \, \ implies \ and \. An l-hemi-implicative semilattice is commutative if if it satisfies that \ for every \. It is shown that the class of l-hemi-implicative semilattices is a variety. These algebras provide a general framework for the study of different algebras of interest in algebraic logic. In any l-hemi-implicative semilattice it is possible to define an (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Modal operators for meet-complemented lattices.José Luis Castiglioni & Rodolfo C. Ertola-Biraben - 2017 - Logic Journal of the IGPL 25 (4):465-495.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On a Weak Conditional.José Luis Castiglioni & Rodolfo C. Ertola-Biraben - 2020 - Logic Journal of the IGPL 28 (6):1106-1129.
    It is well-known that adding to a lattice the usual relative meet complement is not conservative, in the sense that distributivity is implied. In this paper we consider a weak relative meet complement that does not have the mentioned effect. We mostly study the mentioned operation from an algebraic point of view. However, we also provide a Hilbert-style axiomatization for its corresponding assertional logic.
    Download  
     
    Export citation  
     
    Bookmark