Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations (Q5147749): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.18778/0138-0680.2020.12
+Normal rank
@@ Property / OpenAlex ID @@
+W3048600824
@@ Property / OpenAlex ID: W3048600824 / rank @@
+Normal rank
@@ Property / cites work @@
+Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
+Normal rank
@@ Property / cites work @@
+Q4636288
@@ Property / cites work: Q4636288 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715517
@@ Property / cites work: Q2715517 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions of Priest-da Costa logic
@@ Property / cites work: Extensions of Priest-da Costa logic / 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 @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Weakening and extending \(\mathbb{Z}\)
@@ Property / cites work: Weakening and extending \(\mathbb{Z}\) / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence among RC-type paraconsistent logics
@@ Property / cites work: Equivalence among RC-type paraconsistent logics / rank @@
+Normal rank
@@ Property / cites work @@
+A formalization of the propositional calculus of H-B logic
+Normal rank
@@ Property / cites work @@
+Applications of Kripke models to Heyting-Brouwer logic
+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 II
+Normal rank