Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations (Q4999459): 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.18778/0138-0680.2020.13
+Normal rank
@@ Property / OpenAlex ID @@
+W3048696070
@@ Property / OpenAlex ID: W3048696070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636288
@@ Property / cites work: Q4636288 / rank @@
+Normal rank
@@ Property / cites work @@
+A paraconsistent extension of Sylvan’s logic
@@ Property / cites work: A paraconsistent extension of Sylvan’s logic / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitionistic completeness theorem for classical predicate logic
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457385
@@ Property / cites work: Q5457385 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Analysis
@@ Property / cites work: Proof Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+An intuitiomstic completeness theorem for intuitionistic predicate logic
+Normal rank