The algebraic significance of weak excluded middle laws (Q6094135): Difference between revisions

@@ Property / OpenAlex ID @@
+W4210617109
@@ Property / OpenAlex ID: W4210617109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+The Beth property in algebraic logic
@@ Property / cites work: The Beth property in algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011710
@@ Property / cites work: Q4011710 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Relative congruence formulas and decompositions in quasivarieties
+Normal rank
@@ Property / cites work @@
+Implicit definition of the quaternary discriminator
+Normal rank
@@ Property / cites work @@
+Modal companions of intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+The proof by cases property and its variants in structural consequence relations
+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 @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249028
@@ Property / cites work: Q4249028 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics Between S 4 and S 5
@@ Property / cites work: Modal Logics Between S 4 and S 5 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-complements in semi-lattices
@@ Property / cites work: Pseudo-complements in semi-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+The cardinality of subdirectly indecomposable systems in quasivarieties
+Normal rank
@@ Property / cites work @@
+Algebraic point lattices of quasivarieties
@@ Property / cites work: Algebraic point lattices of quasivarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5549788
@@ Property / cites work: Q5549788 / rank @@
+Normal rank
@@ Property / cites work @@
+Congruences and one element subalgebras
@@ Property / cites work: Congruences and one element subalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Semisimple varieties of modal algebras
@@ Property / cites work: Semisimple varieties of modal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice of normal modal logics
@@ Property / cites work: A lattice of normal modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Sentential constants in R and \(R^{\neg}\)
@@ Property / cites work: Sentential constants in R and \(R^{\neg}\) / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of relevant quantification theories
@@ Property / cites work: Completeness of relevant quantification theories / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of De Morgan monoids: minimality and irreducible algebras
+Normal rank
@@ Property / cites work @@
+VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS
@@ Property / cites work: VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS / rank @@
+Normal rank
@@ Property / cites work @@
+Singly generated quasivarieties and residuated structures
+Normal rank
@@ Property / cites work @@
+Epimorphisms, definability and cardinalities
@@ Property / cites work: Epimorphisms, definability and cardinalities / rank @@
+Normal rank
@@ Property / cites work @@
+Positive Sugihara monoids
@@ Property / cites work: Positive Sugihara monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
+Normal rank
@@ Property / cites work @@
+Contextual deduction theorems
@@ Property / cites work: Contextual deduction theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency lemmas in algebraic logic
@@ Property / cites work: Inconsistency lemmas in algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6094135