Four-Valued Logics BD and DM4: Expansions (Q4608553): Difference between revisions

@@ Property / cites work @@
+ON THE AXIOMATIZATION OF FINITE-VALUED LOGICAL CALCULI
+Normal rank
@@ Property / cites work @@
+On finite-valued propositional logical calculi
@@ Property / cites work: On finite-valued propositional logical calculi / 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 @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3018991
@@ Property / cites work: Q3018991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3250590
@@ Property / cites work: Q3250590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613920
@@ Property / cites work: Q5613920 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical negation and expansions of Belnap-Dunn logic
+Normal rank
@@ Property / cites work @@
+Q4187792
@@ Property / cites work: Q4187792 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898479
@@ Property / cites work: Q3898479 / rank @@
+Normal rank
@@ Property / cites work @@
+Bilattices and the theory of truth
@@ Property / cites work: Bilattices and the theory of truth / rank @@
+Normal rank
@@ Property / cites work @@
+Belnap's Four-Valued Logic and De Morgan Lattices
@@ Property / cites work: Belnap's Four-Valued Logic and De Morgan Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Connection between MV\(_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. I
+Normal rank
@@ Property / cites work @@
+Q3268312
@@ Property / cites work: Q3268312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2856048
@@ Property / cites work: Q2856048 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2804044
@@ Property / cites work: Q2804044 / rank @@
+Normal rank
@@ Property / cites work @@
+Function Algebras on Finite Sets
@@ Property / cites work: Function Algebras on Finite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2981250
@@ Property / cites work: Q2981250 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for modal logics I
@@ Property / cites work: Algebraic semantics for modal logics I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875897
@@ Property / cites work: Q3875897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289329
@@ Property / cites work: Q4289329 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing functional completeness in Belnap-Dunn logic
+Normal rank
@@ Property / cites work @@
+Nothing but the truth
@@ Property / cites work: Nothing but the truth / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
+Normal rank
@@ Property / cites work @@
+Q5812189
@@ Property / cites work: Q5812189 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Logic of “To‐morrow”<sup>1</sup>
@@ Property / cites work: On the Logic of “To‐morrow”<sup>1</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Modal system S4.4
@@ Property / cites work: Modal system S4.4 / rank @@
+Normal rank
@@ Property / cites work @@
+Certain extensions of modal system S4
@@ Property / cites work: Certain extensions of modal system S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159032
@@ Property / cites work: Q4159032 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3469079
@@ Property / cites work: Q3469079 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129923534
@@ Property / Wikidata QID: Q129923534 / rank @@
+Normal rank