The decidability of Craig's interpolation property in well-composed J-logics
From MaRDI portal
Publication:1937748
DOI10.1134/S0037446612050096zbMath1285.03030MaRDI QIDQ1937748
Publication date: 31 January 2013
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
03B25: Decidability of theories and sets of sentences
03C40: Interpolation, preservation, definability
03B53: Paraconsistent logics
Related Items
The projective Beth property in well-composed logics, Interpolation over the minimal logic and Odintsov intervals, Recognizable logics, Extensions of the minimal logic and the interpolation problem, Recognizability of all WIP-minimal logics, Slices and levels of extensions of the minimal logic, The interpolation problem in finite-layered pre-Heyting logics
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
