Switch to: References

Add citations

You must login to add citations.
  1. On Equational Completeness Theorems.Tommaso Moraschini - 2022 - Journal of Symbolic Logic 87 (4):1522-1575.
    A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either locally tabular or have some tautology. In particular, it is shown that a protoalgebraic logic admits an equational completeness theorem precisely when it has two distinct logically equivalent formulas. While the problem of determining whether a logic admits an equational completeness theorem is shown to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Algebraic logic for the negation fragment of classical logic.Luciano J. González - forthcoming - Logic Journal of the IGPL.
    The general aim of this article is to study the negation fragment of classical logic within the framework of contemporary (Abstract) Algebraic Logic. More precisely, we shall find the three classes of algebras that are canonically associated with a logic in Algebraic Logic, i.e. we find the classes |$\textrm{Alg}^*$|⁠, |$\textrm{Alg}$| and the intrinsic variety of the negation fragment of classical logic. In order to achieve this, firstly, we propose a Hilbert-style axiomatization for this fragment. Then, we characterize the reduced matrix (...)
    Download  
     
    Export citation  
     
    Bookmark