Priestley duality for paraconsistent Nelson's logic (Q708928): Difference between revisions

@@ Property / cites work @@
+The class of Kleene algebras satisfying an interpolation property and Nelson algebras
+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 @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+On extensions of intermediate logics by strong negation
+Normal rank
@@ Property / cites work @@
+Q5736159
@@ Property / cites work: Q5736159 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Semantics for Paraconsistent Nelson's Logic
+Normal rank
@@ Property / cites work @@
+On the representation of \(\mathbf{N4}\)-lattices
@@ Property / cites work: On the representation of \(\mathbf{N4}\)-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The class of extensions of Nelson's paraconsistent logic
+Normal rank
@@ Property / cites work @@
+Constructive negations and paraconsistency
@@ Property / cites work: Constructive negations and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Q3222242
@@ Property / cites work: Q3222242 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5184954
@@ Property / cites work: Q5184954 / rank @@
+Normal rank
@@ Property / cites work @@
+Some investigations of varieties of \({\mathcal N}\)-lattices
+Normal rank
@@ Property / cites work @@
+Nelson algebras through Heyting ones. I
@@ Property / cites work: Nelson algebras through Heyting ones. I / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Topological representations of distributive lattices and Brouwerian logics
+Normal rank
@@ Property / cites work @@
+Notes on \(\eta\)-lattices and constructive logic with strong negation
+Normal rank