Inconsistency lemmas in algebraic logic

DOI10.1002/malq.201200020zbMath1350.03051OpenAlexW1884090924WikidataQ124849890 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 logicprotoalgebraic logicdeductive systemdeduction-detachment theorempseudo-complementfiltral varietyinconsistency lemma

Mathematics Subject Classification ID

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

Related Items

Relative congruence formulas and decompositions in quasivarieties, The algebraic significance of weak excluded middle laws, Universal algebraic methods for non-classical logics, Abstract algebraic logic. An introductory chapter, Logics of left variable inclusion and Płonka sums of matrices, The simplest protoalgebraic logic, Containment logics: algebraic completeness and axiomatization, Logics of variable inclusion and the lattice of consequence relations

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