Inconsistency lemmas in algebraic logic
From MaRDI portal
Publication:5396222
DOI10.1002/malq.201200020zbMath1350.03051OpenAlexW1884090924WikidataQ124849890 ScholiaQ124849890MaRDI QIDQ5396222
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
algebraizable logicprotoalgebraic logicdeductive systemdeduction-detachment theorempseudo-complementfiltral varietyinconsistency lemma
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