The class of extensions of Nelson's paraconsistent logic (Q813085): Difference between revisions

@@ Property / cites work @@
+On an implication connective of RM
@@ Property / cites work: On an implication connective of RM / rank @@
+Normal rank
@@ Property / cites work @@
+Natural 3-valued logics—characterization and proof theory
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+The Craig interpolation theorem for propositional logics with strong negation
+Normal rank
@@ Property / cites work @@
+On extensions of intermediate logics by strong negation
+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 @@
+On the structure of paraconsistent extensions of Johansson's logic
+Normal rank
@@ Property / cites work @@
+N-lattices and constructive logic with strong negation
+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 @@
+Some investigations of varieties of \({\mathcal N}\)-lattices
+Normal rank
@@ Property / cites work @@
+Axiomatic extensions of the constructive logic with strong negation and the disjunction property
+Normal rank
@@ Property / cites work @@
+Notes on \(\eta\)-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank