Inconsistency lemmas in algebraic logic
From MaRDI portal
Publication:5396222
DOI10.1002/malq.201200020zbMath1350.03051WikidataQ124849890 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 logic; protoalgebraic logic; deductive system; deduction-detachment theorem; pseudo-complement; filtral variety; inconsistency lemma
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