The projective Beth property in well-composed logics (Q384403): Difference between revisions

@@ Property / author @@
-Q384402
@@ Property / author: Q384402 / 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 / full work available at URL @@
+https://doi.org/10.1007/s10469-013-9227-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2006585261
@@ Property / OpenAlex ID: W2006585261 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and the projective Beth property in well-composed logics
+Normal rank
@@ Property / cites work @@
+Q4187817
@@ Property / cites work: Q4187817 / 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 @@
+Q4532125
@@ Property / cites work: Q4532125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451641
@@ Property / cites work: Q4451641 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the weak interpolation property over the minimal 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 @@
+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 @@
+The decidability of Craig's interpolation property in well-composed J-logics
+Normal rank
@@ Property / cites work @@
+Q4936636
@@ Property / cites work: Q4936636 / 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 @@
+Q5465446
@@ Property / cites work: Q5465446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628181
@@ Property / cites work: Q5628181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of classical refutability and class of extensions of minimal logic
+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 @@
+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 @@
+The Projective Beth Property and Interpolation in Positive and Related Logics
+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