Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-019-09863-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2944726109
@@ Property / OpenAlex ID: W2944726109 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with subjunctive conditionals
+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 @@
+Q5369472
@@ Property / cites work: Q5369472 / rank @@
+Normal rank
@@ Property / cites work @@
+Four-valued paradefinite logics
@@ Property / cites work: Four-valued paradefinite logics / rank @@
+Normal rank
@@ Property / cites work @@
+Ideal paraconsistent logics
@@ Property / cites work: Ideal paraconsistent logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086715
@@ Property / cites work: Q3086715 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Yet another paradefinite logic: The role of conflation1
+Normal rank
@@ Property / cites work @@
+A unified semantic framework for fully structural propositional sequent systems
+Normal rank
@@ Property / cites work @@
+Q4342089
@@ Property / cites work: Q4342089 / rank @@
+Normal rank
@@ Property / cites work @@
+Connexive implication
@@ Property / cites work: Connexive implication / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactical and semantical properties of simple type theory
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
+Normal rank
@@ Property / cites work @@
+Q5483018
@@ Property / cites work: Q5483018 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127888193
@@ Property / Wikidata QID: Q127888193 / rank @@
+Normal rank