Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480): Difference between revisions

@@ Property / cites work @@
+Q4077987
@@ Property / cites work: Q4077987 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4347145
@@ Property / cites work: Q4347145 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic with only equivalence has no interpolation
+Normal rank
@@ Property / cites work @@
+Q4896508
@@ Property / cites work: Q4896508 / rank @@
+Normal rank
@@ Property / cites work @@
+Computations in fragments of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q5623682
@@ Property / cites work: Q5623682 / rank @@
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Interpolation and amalgamation properties in varieties of equivalential algebras
+Normal rank
@@ Property / cites work @@
+Interpolation in fragments of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Der Interpolationssatz der intuitionistischen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank