The projective Beth property in well-composed logics
From MaRDI portal
Publication:384403
DOI10.1007/S10469-013-9227-8zbMath1315.03046OpenAlexW2006585261MaRDI QIDQ384403
Publication date: 27 November 2013
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-013-9227-8
Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (6)
Hybrid extensions of the minimal logic ⋮ Extensions of the minimal logic and the interpolation problem ⋮ Recognizable logics ⋮ Interpolation over the minimal logic and Odintsov intervals ⋮ Recognizable and perceptible logics and varieties ⋮ 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
- 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
- Intuitionistic logic and implicit definability
- The decidability of Craig's interpolation property in well-composed J-logics
- 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
- 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 projective Beth property in well-composed logics
