Implicit connectives of algebraizable logics

DOI10.1007/s11225-005-5170-6zbMath1058.03076OpenAlexW2069644928MaRDI QIDQ1770605

Xavier Caicedo

Publication date: 7 April 2005

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-5170-6

zbMATH Keywords

quasivarietiesconnectivesAlgebraizable logicsimplicit and explicit definitions

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Quasivarieties (08C15) Abstract deductive systems (03B22)

Related Items

Principal congruences in weak Heyting algebras ⋮ The logic Ł^• ⋮ On principal congruences in distributive lattices with a commutative monoidal operation and an implication ⋮ Axiomatizability by \({\forall \exists!}\)-sentences ⋮ Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic ⋮ Compatible operations on commutative residuated lattices ⋮ Compatible operations on residuated lattices ⋮ Implicit definability of truth constants in Łukasiewicz logic ⋮ Compatible operations on commutative weak residuated lattices ⋮ On relative principal congruences in term quasivarieties ⋮ ALGEBRAIC EXPANSIONS OF LOGICS

Cites Work

• Algebraic foundations of many-valued reasoning
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Algebraizable logics
• An algebraic approach to intuitionistic connectives
• Weakly algebraizable logics
• Unnamed Item
• Unnamed Item
• Unnamed Item