The decidability of Craig's interpolation property in well-composed J-logics

DOI10.1134/S0037446612050096zbMath1285.03030MaRDI QIDQ1937748

Larisa L. Maksimova

Publication date: 31 January 2013

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

interpolationminimal logicwell-composed logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40) Paraconsistent logics (03B53)

Related Items (7)

Extensions of the minimal logic and the interpolation problem ⋮ Recognizability of all WIP-minimal logics ⋮ The projective Beth property in well-composed logics ⋮ Recognizable logics ⋮ Interpolation over the minimal logic and Odintsov intervals ⋮ Slices and levels of extensions of the minimal logic ⋮ The interpolation problem in finite-layered pre-Heyting logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Joint consistency in extensions of the minimal logic
• Interpolation and definability over the logic Gl
• Interpolation and the projective Beth property in well-composed logics
• Decidability of the weak interpolation property over the minimal logic
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Semantical investigations in Heyting's intuitionistic logic
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Intuitionistic logic and implicit definability
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Interpolation and Definability in Extensions of the Minimal Logic
• The Projective Beth Property and Interpolation in Positive and Related Logics
• A weak form of interpolation in equational logic
• Problem of restricted interpolation in superintuitionistic and some modal logics
• Logic of classical refutability and class of extensions of minimal logic
• The decidability of certain intermediate propositional logics
• A Remark on the Intersection of Tow Logics
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: The decidability of Craig's interpolation property in well-composed J-logics