Four-valued logic (Q1422105): Difference between revisions

@@ Property / cites work @@
+Kripke models for linear logic
@@ Property / cites work: Kripke models for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940716
@@ Property / cites work: Q4940716 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for structurally free logics LC+
@@ Property / cites work: Semantics for structurally free logics LC+ / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of Lattices by Sets
@@ Property / cites work: Representations of Lattices by Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Positive modal logic
@@ Property / cites work: Positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Stone duality for lattices
@@ Property / cites work: Stone duality for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4103076
@@ Property / cites work: Q4103076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+A topological representation theory for lattices
@@ Property / cites work: A topological representation theory for lattices / rank @@
+Normal rank