SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS (Q3577741): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus intermediate between the minimal calculus and the classical
+Normal rank
@@ Property / cites work @@
+The separation theorem of intuitionist propositional calculus
+Normal rank
@@ Property / cites work @@
+The Demarcation Line Between Intuitionist Logic and Classical Logic
+Normal rank
@@ Property / cites work @@
+A logic stronger than intuitionism
@@ Property / cites work: A logic stronger than intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+A note on partial postulate sets for propositional logic
+Normal rank
@@ Property / cites work @@
+Trees and finite satisfiability: proof of a conjecture of Burgess
+Normal rank
@@ Property / cites work @@
+Peirce's rule in natural deduction.
@@ Property / cites work: Peirce's rule in natural deduction. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strong semantical completeness of the intuitionistic predicate calculus
+Normal rank
@@ Property / cites work @@
+Independence of Tarski's law in Henkin's propositional fragments
+Normal rank
@@ Property / cites work @@
+Q4239945
@@ Property / cites work: Q4239945 / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization theorems for full first order classical natural deduction
+Normal rank
@@ Property / cites work @@
+On the proof theory of the intermediate logic MH
@@ Property / cites work: On the proof theory of the intermediate logic MH / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3577741