The decidability of Craig's interpolation property in well-composed J-logics (Q1937748): Difference between revisions

@@ Property / author @@
-Larisa L. Maksimova
@@ Property / author: Larisa L. Maksimova / rank @@
-Normal rank
@@ Property / author @@
+Larisa L. Maksimova
@@ Property / author: Larisa L. Maksimova / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+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 @@
+Q5824680
@@ Property / cites work: Q5824680 / rank @@
+Normal rank
@@ Property / cites work @@
+Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic and implicit definability
@@ Property / cites work: Intuitionistic logic and implicit definability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532125
@@ Property / cites work: Q4532125 / rank @@
+Normal rank
@@ Property / cites work @@
+Problem of restricted interpolation in superintuitionistic and some modal logics
+Normal rank
@@ Property / cites work @@
+The Projective Beth Property and Interpolation in Positive and Related Logics
+Normal rank
@@ Property / cites work @@
+Decidability of the weak interpolation property over the minimal logic
+Normal rank
@@ Property / cites work @@
+Joint consistency in extensions of the minimal logic
+Normal rank
@@ Property / cites work @@
+Interpolation and definability over the logic Gl
@@ Property / cites work: Interpolation and definability over the logic Gl / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and Definability in Extensions of the Minimal Logic
+Normal rank
@@ Property / cites work @@
+Interpolation and the projective Beth property in well-composed logics
+Normal rank
@@ Property / cites work @@
+Q4936636
@@ Property / cites work: Q4936636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5465446
@@ Property / cites work: Q5465446 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of classical refutability and class of extensions of minimal logic
+Normal rank
@@ Property / cites work @@
+A Remark on the Intersection of Tow Logics
@@ Property / cites work: A Remark on the Intersection of Tow Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+The decidability of certain intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+Q4664638
@@ Property / cites work: Q4664638 / rank @@
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:1937748