Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962686728
@@ Property / OpenAlex ID: W2962686728 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03822
@@ Property / arXiv ID: 1803.03822 / rank @@
+Normal rank
@@ 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 @@
+Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
+Normal rank
@@ Property / cites work @@
+How a Computer Should Think
@@ Property / cites work: How a Computer Should Think / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5488263
@@ Property / cites work: Q5488263 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+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 @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+About some symmetries of negation
@@ Property / cites work: About some symmetries of negation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+A unified semantic framework for fully structural propositional sequent systems
+Normal rank
@@ Property / cites work @@
+Contradiction, Quantum Mechanics, and the Square of Opposition
+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 @@
+Characterizing Belnap's Logic via De Morgan's Laws
+Normal rank
@@ Property / cites work @@
+Subprevarieties versus extensions. Application to the logic of paradox
+Normal rank
@@ Property / cites work @@
+Q5411466
@@ Property / cites work: Q5411466 / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondences between gentzen and hilbert systems
+Normal rank
@@ Property / cites work @@
+Order algebraizable logics
@@ Property / cites work: Order algebraizable logics / rank @@
+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 @@
+Syntactical and semantical properties of simple type theory
+Normal rank
@@ Property / cites work @@
+Which structural rules admit cut elimination? An algebraic criterion
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank