Inconsistency lemmas in algebraic logic (Q5396222): Difference between revisions

@@ Property / author @@
+James G. Raftery
@@ Property / author: James G. Raftery / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1884090924
@@ Property / OpenAlex ID: W1884090924 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124849890
@@ Property / Wikidata QID: Q124849890 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiplicative Conjunction as an Extensional Conjunction
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. II
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. I
+Normal rank
@@ Property / cites work @@
+A finite basis theorem for quasivarieties
@@ Property / cites work: A finite basis theorem for quasivarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic aspects of deduction theorems
@@ Property / cites work: Algebraic aspects of deduction theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Local deductions theorems
@@ Property / cites work: Local deductions theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3201124
@@ Property / cites work: Q3201124 / rank @@
+Normal rank
@@ Property / cites work @@
+Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
+Normal rank
@@ Property / cites work @@
+Q3313919
@@ Property / cites work: Q3313919 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely generated congruence distributive quasivarieties of algebras
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Update to ``A survey of abstract algebraic logic''
+Normal rank
@@ Property / cites work @@
+Q4156826
@@ Property / cites work: Q4156826 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform congruence schemes
@@ Property / cites work: Uniform congruence schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Connections between congruence-lattices and polynomial properties
+Normal rank
@@ Property / cites work @@
+A category equivalence for odd Sugihara monoids and its applications
+Normal rank
@@ Property / cites work @@
+Bounded BCK-algebras and their generated variety
@@ Property / cites work: Bounded BCK-algebras and their generated variety / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Stone duality for primal algebra theory
@@ Property / cites work: Stone duality for primal algebra theory / rank @@
+Normal rank
@@ Property / cites work @@
+Semisimplicity, EDPC and discriminator varieties of residuated lattices
+Normal rank
@@ Property / cites work @@
+The classification of idealizable varieties (congruenze ideali IV)
+Normal rank
@@ Property / cites work @@
+Substructural fuzzy logics
@@ Property / cites work: Substructural fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
+Normal rank
@@ Property / cites work @@
+Semisimplicity and the discriminator in bounded BCK-algebras
+Normal rank