Logics of upsets of De Morgan lattices (Q6140751): Difference between revisions

@@ Property / cites work @@
+An algebraic view of super-Belnap logics
@@ Property / cites work: An algebraic view of super-Belnap logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Injective de Morgan and Kleene Algebras
@@ Property / cites work: Injective de Morgan and Kleene Algebras / 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 @@
+Q4187871
@@ Property / cites work: Q4187871 / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Some characterization theorems for infinitary universal Horn logic without equality
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Q2715515
@@ Property / cites work: Q2715515 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional calculus for contradictory deductive systems
+Normal rank
@@ Property / cites work @@
+A propositional calculus for inconsistent deductive systems
+Normal rank
@@ Property / cites work @@
+Lattices With Involution
@@ Property / cites work: Lattices With Involution / rank @@
+Normal rank
@@ Property / cites work @@
+Nothing but the truth
@@ Property / cites work: Nothing but the truth / 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 @@
+An infinity of super-Belnap logics
@@ Property / cites work: An infinity of super-Belnap logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5869607
@@ Property / cites work: Q5869607 / rank @@
+Normal rank
@@ Property / cites work @@
+First-Degree Entailment and Structural Reasoning
@@ Property / cites work: First-Degree Entailment and Structural Reasoning / rank @@
+Normal rank