Decidability of the weak interpolation property over the minimal logic (Q695764): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10469-011-9127-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2062364415
@@ Property / OpenAlex ID: W2062364415 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5764366
@@ Property / cites work: Q5764366 / rank @@
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Q3714043
@@ Property / cites work: Q3714043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Der Interpolationssatz der intuitionistischen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q3012532
@@ Property / cites work: Q3012532 / rank @@
+Normal rank
@@ Property / cites work @@
+Joint consistency in extensions of the minimal logic
+Normal rank
@@ Property / cites work @@
+Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q3240238
@@ Property / cites work: Q3240238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451641
@@ Property / cites work: Q4451641 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and Definability in Extensions of the Minimal Logic
+Normal rank
@@ Property / cites work @@
+Q4664638
@@ Property / cites work: Q4664638 / rank @@
+Normal rank
@@ Property / cites work @@
+A method of proving interpolation in paraconsistent extensions of the minimal logic
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic and implicit definability
@@ Property / cites work: Intuitionistic logic and implicit definability / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+A weak form of interpolation in equational logic
@@ Property / cites work: A weak form of interpolation in equational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of classical refutability and class of extensions of minimal logic
+Normal rank
@@ Property / cites work @@
+The Projective Beth Property and Interpolation in Positive and Related Logics
+Normal rank
@@ Property / cites work @@
+Q5519127
@@ Property / cites work: Q5519127 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the interpolation problem and of related properties in tabular logics
+Normal rank