Natural deduction for three-valued regular logics (Q4683206): Difference between revisions

@@ Property / cites work @@
+On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
+Normal rank
@@ Property / cites work @@
+Q4296301
@@ Property / cites work: Q4296301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3580382
@@ Property / cites work: Q3580382 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3567765
@@ Property / cites work: Q3567765 / rank @@
+Normal rank
@@ Property / cites work @@
+COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
+Normal rank
@@ Property / cites work @@
+Q4229041
@@ Property / cites work: Q4229041 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2981255
@@ Property / cites work: Q2981255 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3474640
@@ Property / cites work: Q3474640 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4982110
@@ Property / cites work: Q4982110 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3567773
@@ Property / cites work: Q3567773 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789456
@@ Property / cites work: Q4789456 / rank @@
+Normal rank