Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-020-09553-w
+Normal rank
@@ Property / OpenAlex ID @@
+W3017308489
@@ Property / OpenAlex ID: W3017308489 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity and inexact predicates
@@ Property / cites work: Constructible falsity and inexact predicates / 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 @@
+Q4686539
@@ Property / cites work: Q4686539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086715
@@ Property / cites work: Q3086715 / rank @@
+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 @@
+What is negation?
@@ Property / cites work: What is negation? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic with strong negation
@@ Property / cites work: Intuitionistic logic with strong negation / rank @@
+Normal rank
@@ Property / cites work @@
+Trilattice logic: an embedding-based approach
@@ Property / cites work: Trilattice logic: an embedding-based approach / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding from multilattice logic into classical logic and vice versa
+Normal rank
@@ Property / cites work @@
+Proof theory of Nelson's paraconsistent logic: a uniform perspective
+Normal rank
@@ Property / cites work @@
+Q5175691
@@ Property / cites work: Q5175691 / rank @@
+Normal rank
@@ Property / cites work @@
+Yet another paradefinite logic: The role of conflation1
+Normal rank
@@ Property / cites work @@
+Connexive implication
@@ Property / cites work: Connexive implication / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / 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 @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+Truth, Falsehood, Information and Beyond: The American Plan Generalized
+Normal rank
@@ Property / cites work @@
+Some useful 16-valued logics: How a computer network should think
+Normal rank
@@ Property / cites work @@
+Q5813184
@@ Property / cites work: Q5813184 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483018
@@ Property / cites work: Q5483018 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Methodology of Paraconsistent Logic
@@ Property / cites work: On the Methodology of Paraconsistent Logic / rank @@
+Normal rank