Bilattice Logics and Demi-Negation (Q3305617): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+The value of the four values
@@ Property / cites work: The value of the four values / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of interlaced bilattices
@@ Property / cites work: The structure of interlaced bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Quasivarieties of logic, regularity conditions and parameterized algebraization
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249027
@@ Property / cites work: Q4249027 / rank @@
+Normal rank
@@ Property / cites work @@
+ASSERTIONALLY EQUIVALENT QUASIVARIETIES
@@ Property / cites work: ASSERTIONALLY EQUIVALENT QUASIVARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of interlaced bilattices
@@ Property / cites work: Varieties of interlaced bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of distributive bilattices
@@ Property / cites work: The logic of distributive bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Bilattices with implications
@@ Property / cites work: Bilattices with implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+A general framework for product representations: bilattices and beyond
+Normal rank
@@ Property / cites work @@
+The Logical Burdens of Proof. Assertion and Hypothesis
+Normal rank
@@ Property / cites work @@
+Reasoning in quantum theory. Sharp and unsharp quantum logics.
+Normal rank
@@ Property / cites work @@
+Classical negation and expansions of Belnap-Dunn logic
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Bilattices and the semantics of logic programming
@@ Property / cites work: Bilattices and the semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Expanding quasi-MV algebras by a quantum operator
@@ Property / cites work: Expanding quasi-MV algebras by a quantum operator / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on the Implicational Class Generated by a Class of Structures
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic with strong negation
@@ Property / cites work: Intuitionistic logic with strong negation / rank @@
+Normal rank
@@ Property / cites work @@
+Negation by iteration
@@ Property / cites work: Negation by iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093482
@@ Property / cites work: Q3093482 / rank @@
+Normal rank
@@ Property / cites work @@
+An extended first-order Belnap-Dunn logic with classical negation
+Normal rank
@@ Property / cites work @@
+Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates
+Normal rank
@@ Property / cites work @@
+Generalizing functional completeness in Belnap-Dunn logic
+Normal rank
@@ Property / cites work @@
+ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
+Normal rank
@@ Property / cites work @@
+Q3992933
@@ Property / cites work: Q3992933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483305
@@ Property / cites work: Q5483305 / rank @@
+Normal rank
@@ Property / cites work @@
+The Trilattice of Constructive Truth Values
@@ Property / cites work: The Trilattice of Constructive Truth Values / rank @@
+Normal rank
@@ Property / cites work @@
+Truth and falsehood. An inquiry into generalized logical values
+Normal rank
@@ Property / cites work @@
+Rejection
@@ Property / cites work: Rejection / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank