An algebraic view of super-Belnap logics (Q1685564): Difference between revisions

@@ Property / cites work @@
+Lattices of quasivarieties of 3-element algebras
@@ Property / cites work: Lattices of quasivarieties of 3-element algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The strong version of a sentential logic
@@ Property / cites work: The strong version of a sentential logic / rank @@
+Normal rank
@@ Property / cites work @@
+COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC
+Normal rank
@@ Property / cites work @@
+Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of antinomics
@@ Property / cites work: A calculus of antinomics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4465171
@@ Property / cites work: Q4465171 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on freedom from detachment in the logic of paradox
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+ASSERTIONALLY EQUIVALENT QUASIVARIETIES
@@ Property / cites work: ASSERTIONALLY EQUIVALENT QUASIVARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for deductive systems
@@ Property / cites work: Algebraic semantics for deductive systems / rank @@
+Normal rank
@@ Property / cites work @@
+A non-finitely based quasi-variety of De Morgan algebras
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+The proof by cases property and its variants in structural consequence relations
+Normal rank
@@ Property / cites work @@
+Coproducts of De Morgan algebras
@@ Property / cites work: Coproducts of De Morgan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5115671
@@ Property / cites work: Q5115671 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+A Kripke-style semantics for R-mingle using a binary accessibility relation
+Normal rank
@@ Property / cites work @@
+Partiality and its dual
@@ Property / cites work: Partiality and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+Belnap's Four-Valued Logic and De Morgan Lattices
@@ Property / cites work: Belnap's Four-Valued Logic and De Morgan Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Leibniz filters and the strong version of a protoalgebraic logic
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Selfextensional logics with a conjunction
@@ Property / cites work: Selfextensional logics with a conjunction / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices With Involution
@@ Property / cites work: Lattices With Involution / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4918415
@@ Property / cites work: Q4918415 / rank @@
+Normal rank
@@ Property / cites work @@
+Nothing but the truth
@@ Property / cites work: Nothing but the truth / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+THE LATTICE OF SUPER-BELNAP LOGICS
@@ Property / cites work: THE LATTICE OF SUPER-BELNAP LOGICS / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing Belnap's Logic via De Morgan's Laws
+Normal rank
@@ Property / cites work @@
+On Priest's logic of paradox
@@ Property / cites work: On Priest's logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Implicational classes of De Morgan lattices
@@ Property / cites work: Implicational classes of De Morgan lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Subprevarieties versus extensions. Application to the logic of paradox
+Normal rank
@@ Property / cites work @@
+Q5441554
@@ Property / cites work: Q5441554 / rank @@
+Normal rank
@@ Property / cites work @@
+An infinity of super-Belnap logics
@@ Property / cites work: An infinity of super-Belnap logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791124
@@ Property / cites work: Q3791124 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank