An approach to Glivenko's theorem in algebraizable logics

DOI10.1007/S11225-008-9109-6zbMath1147.03037OpenAlexW2078219202MaRDI QIDQ931403

Antoni Torrens Torrell

Publication date: 25 June 2008

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

Full work available at URL: https://doi.org/10.1007/s11225-008-9109-6

zbMATH Keywords

quasivarietyalgebraic semanticsalgebraizable logiccompatible expansionequivalential deductive systemsGlivenko's Theorem

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Algebraic logic (03G99) Quasivarieties (08C15)

Related Items (3)

Regular elements and Kolmogorov translation in residuated lattices ⋮ Semisimplicity and the discriminator in bounded BCK-algebras ⋮ Algebraic semantics for the (↔, ¬¬)-fragment of IPC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of logical calculi. Basic theory of consequence operations
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
• Free algebras in varieties of BL-algebras with a Boolean retract.
• Pseudo-complements in semi-lattices
• Glivenko theorems for substructural logics over FL
• Algebraizable logics
• Glivenko like theorems in natural expansions of BCK-logic
• Protoalgebraic logics
• Glivenko type theorems for intuitionistic modal logics

This page was built for publication: An approach to Glivenko's theorem in algebraizable logics