Implicit connectives of algebraizable logics

DOI10.1007/S11225-005-5170-6MaRDI QIDQ1770605zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 554983
• scientific article; zbMATH DE number 66912
• Algebraizable logics
• scientific article; zbMATH DE number 465608
• On the algebraizability of the implicational fragment of abelian logic

Cites work

• scientific article; zbMATH DE number 3819795 (Why is no real title available?)
• scientific article; zbMATH DE number 3976993 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Algebraic foundations of many-valued reasoning
• Algebraizable logics
• An algebraic approach to intuitionistic connectives
• Weakly algebraizable logics

Cited in

(13)

• On relative principal congruences in term quasivarieties
• ALGEBRAIC EXPANSIONS OF LOGICS
• Principal congruences in weak Heyting algebras
• Compatible operations on commutative residuated lattices
• A schematic extension of IMTL-logic algebras
• The logic Ł^•
• Axiomatizability by \({\forall \exists!}\)-sentences
• Compatible operations on residuated lattices
• Implicit definability of truth constants in Łukasiewicz logic
• Compatible operations on commutative weak residuated lattices
• scientific article; zbMATH DE number 66912 (Why is no real title available?)
• Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
• On principal congruences in distributive lattices with a commutative monoidal operation and an implication

This page was built for publication: Implicit connectives of algebraizable logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1770605)