Joint consistency in extensions of the minimal logic
From MaRDI portal
Publication:606053
DOI10.1007/s11202-010-0050-3zbMath1208.03031MaRDI QIDQ606053
Publication date: 15 November 2010
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11202-010-0050-3
Related Items
The projective Beth property in well-composed logics, 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, Extensions of the minimal logic and the interpolation problem, The decidability of Craig's interpolation property in well-composed J-logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constructive negations and paraconsistency
- Der Interpolationssatz der intuitionistischen Prädikatenlogik
- Semantical investigations in Heyting's intuitionistic logic
- 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
- A weak form of interpolation in equational logic
- Logic of classical refutability and class of extensions of minimal logic