Deciding intuitionistic propositional logic via translation into classical logic (Q5234697): Difference between revisions

@@ Property / cites work @@
+Contraction-free sequent calculi for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4883282
@@ Property / cites work: Q4883282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+An <b><i>O</i>(<i>n</i> log <i>n</i>)</b>-Space Decision Procedure for Intuitionistic Propositional Logic
+Normal rank
@@ Property / cites work @@
+Deciding intuitionistic propositional logic via translation into classical logic
+Normal rank
@@ Property / cites work @@
+An improved refutation system for intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Semantics-Based Translation Methods for Modal Logics
+Normal rank
@@ Property / cites work @@
+Seventy-five problems for testing automatic theorem provers
+Normal rank
@@ Property / cites work @@
+An Intuitionistic Predicate Logic Theorem Prover
@@ Property / cites work: An Intuitionistic Predicate Logic Theorem Prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538910
@@ Property / cites work: Q5538910 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. IV: Topics in the philosophy of language
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank