Decidability of the interpolation problem and of related properties in tabular logics (Q431717): 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-009-9070-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2075252106
@@ Property / OpenAlex ID: W2075252106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824680
@@ Property / cites work: Q5824680 / 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 @@
+Q5541360
@@ Property / cites work: Q5541360 / rank @@
+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 @@
+Q5477357
@@ Property / cites work: Q5477357 / rank @@
+Normal rank
@@ Property / cites work @@
+Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q4451641
@@ Property / cites work: Q4451641 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability and interpolation in non-classical logics
+Normal rank
@@ Property / cites work @@
+Undecidable properties of extensions of the logic of provability
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5465446
@@ Property / cites work: Q5465446 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantic non-completeness of certain Lewis calculi
+Normal rank
@@ Property / cites work @@
+Logics without Craig's interpolation property
@@ Property / cites work: Logics without Craig's interpolation property / rank @@
+Normal rank
@@ Property / cites work @@
+Q3012532
@@ Property / cites work: Q3012532 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
+Normal rank
@@ Property / cites work @@
+An analog of Beth's theorem in normal extensions of the modal logic K4
+Normal rank
@@ Property / cites work @@
+Logical matrices and the amalgamation property
@@ Property / cites work: Logical matrices and the amalgamation property / 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 @@
+Q4936636
@@ Property / cites work: Q4936636 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and the Robinson property for logics not closed under the Boolean operations
+Normal rank
@@ Property / cites work @@
+Q4249028
@@ Property / cites work: Q4249028 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273484
@@ Property / cites work: Q4273484 / 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
@@ Property / cites work @@
+On variable separation in modal and superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+Splitting lattices of logics
@@ Property / cites work: Splitting lattices of logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Interpolation and Definability in Extensions of the Minimal Logic
+Normal rank
@@ Property / cites work @@
+Q5519127
@@ Property / cites work: Q5519127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4463933
@@ Property / cites work: Q4463933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249225
@@ Property / cites work: Q4249225 / rank @@
+Normal rank