Inconsistency lemmas in algebraic logic

DOI10.1002/malq.201200020zbMath1350.03051WikidataQ124849890 ScholiaQ124849890MaRDI QIDQ5396222

James G. Raftery

Publication date: 5 February 2014

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2263/43110

zbMATH Keywords

algebraizable logic; protoalgebraic logic; deductive system; deduction-detachment theorem; pseudo-complement; filtral variety; inconsistency lemma

Mathematics Subject Classification ID

03G25: Other algebras related to logic

08C15: Quasivarieties

03B22: Abstract deductive systems

03G27: Abstract algebraic logic

Related Items

Logics of variable inclusion and the lattice of consequence relations, The simplest protoalgebraic logic, The algebraic significance of weak excluded middle laws, Relative congruence formulas and decompositions in quasivarieties, Containment logics: algebraic completeness and axiomatization, Logics of left variable inclusion and Płonka sums of matrices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of varieties with equationally definable principal congruences. II
• Connections between congruence-lattices and polynomial properties
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Semisimplicity and the discriminator in bounded BCK-algebras
• Update to ``A survey of abstract algebraic logic
• A finite basis theorem for quasivarieties
• Algebraic aspects of deduction theorems
• Local deductions theorems
• Uniform congruence schemes
• Metamathematics of fuzzy logic
• A survey of abstract algebraic logic
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• On the structure of varieties with equationally definable principal congruences. I
• A category equivalence for odd Sugihara monoids and its applications
• The classification of idealizable varieties (congruenze ideali IV)
• Stone duality for primal algebra theory
• Multiplicative Conjunction as an Extensional Conjunction
• Finitely generated congruence distributive quasivarieties of algebras
• Bounded BCK-algebras and their generated variety
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Algebraizable logics
• Substructural fuzzy logics