Interpolation and the projective Beth property in well-composed logics
From MaRDI portal
Publication:694247
DOI10.1007/S10469-012-9180-YzbMath1285.03028OpenAlexW2156051183MaRDI QIDQ694247
Publication date: 11 December 2012
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-012-9180-y
Related Items (6)
Hybrid extensions of the minimal logic ⋮ Extensions of the minimal logic and the interpolation problem ⋮ The projective Beth property in well-composed logics ⋮ Recognizable logics ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ The interpolation problem in finite-layered pre-Heyting logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- 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
- Algebras Whose Congruence Lattices are Distributive.
- A Remark on the Intersection of Tow Logics
This page was built for publication: Interpolation and the projective Beth property in well-composed logics
