A 4-valued framework encompassing intuitionistic and classical logic (Q4583348): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1080/11663081.2014.911533
+Normal rank
@@ Property / OpenAlex ID @@
+W2094954900
@@ Property / OpenAlex ID: W2094954900 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining many-valued and intuitionistic tableaux
@@ Property / cites work: Combining many-valued and intuitionistic tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Q3018991
@@ Property / cites work: Q3018991 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke Completeness of First-Order Constructive Logics with Strong Negation
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613169
@@ Property / cites work: Q5613169 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic sequent calculi for finitely many-valued logics
+Normal rank
@@ Property / cites work @@
+Sequents in many valued logic II
@@ Property / cites work: Sequents in many valued logic II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791124
@@ Property / cites work: Q3791124 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank