On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic
From MaRDI portal
Publication:4917992
DOI10.1016/j.entcs.2006.05.040zbMath1262.03042MaRDI QIDQ4917992
Publication date: 3 May 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.05.040
Related Items
Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics, Classifying material implications over minimal logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Der Interpolationssatz der intuitionistischen Prädikatenlogik
- Interpolation theorems in modal logics. Sufficient conditions
- 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
- Logic of classical refutability and class of extensions of minimal logic