The value of the one value: \textit{exactly true logic} revisited (Q6054063): Difference between revisions

@@ Property / cites work @@
+An algebraic view of super-Belnap logics
@@ Property / cites work: An algebraic view of super-Belnap logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / 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 @@
+FDE as the One True Logic
@@ Property / cites work: FDE as the One True Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Exactly true and non-falsity logics meeting infectious ones
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Caracterisation des algèbres de Nelson par des egalités, I
+Normal rank
@@ Property / cites work @@
+Characterizing finite-valuedness
@@ Property / cites work: Characterizing finite-valuedness / rank @@
+Normal rank
@@ Property / cites work @@
+The Strict/Tolerant Idea and Bilattices
@@ Property / cites work: The Strict/Tolerant Idea and Bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+FDE as a Base for Constructive Logic
@@ Property / cites work: FDE as a Base for Constructive Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4918415
@@ Property / cites work: Q4918415 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
+Normal rank
@@ Property / cites work @@
+On axiomatizing Shramko-Wansing's logic
@@ Property / cites work: On axiomatizing Shramko-Wansing's logic / rank @@
+Normal rank
@@ Property / cites work @@
+New Essays on Belnap-Dunn Logic
@@ Property / cites work: New Essays on Belnap-Dunn Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Nothing but the truth
@@ Property / cites work: Nothing but the truth / rank @@
+Normal rank
@@ Property / cites work @@
+THE LATTICE OF SUPER-BELNAP LOGICS
@@ Property / cites work: THE LATTICE OF SUPER-BELNAP LOGICS / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination, identity elimination, and interpolation in super-Belnap logics
+Normal rank
@@ Property / cites work @@
+Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
+Normal rank
@@ Property / cites work @@
+An infinity of super-Belnap logics
@@ Property / cites work: An infinity of super-Belnap logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5869607
@@ Property / cites work: Q5869607 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert-style axiomatization of first-degree entailment and a family of its extensions
+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 @@
+Some useful 16-valued logics: How a computer network should think
+Normal rank
@@ Property / cites work @@
+First-degree entailment and its relatives
@@ Property / cites work: First-degree entailment and its relatives / rank @@
+Normal rank
@@ Property / cites work @@
+The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
+Normal rank
@@ Property / cites work @@
+On all strong Kleene generalizations of classical logic
+Normal rank
@@ Property / cites work @@
+A Gentzen calculus for nothing but the truth
@@ Property / cites work: A Gentzen calculus for nothing but the truth / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation methods for Dunn logics and their extensions
+Normal rank