Interpolation in fragments of intuitionistic propositional logic
From MaRDI portal
Publication:3486539
DOI10.2307/2274823zbMath0706.03011MaRDI QIDQ3486539
Gerard R. Renardel de Lavalette
Publication date: 1989
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/27031
03C40: Interpolation, preservation, definability
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES, Interpolation in non-classical logics, Computations in fragments of intuitionistic propositional logic, Modular structuring of VDM specifications in VVSL, Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic, Lewis meets Brouwer: constructive strict implication, The Beth property in algebraic logic, On an interpretation of second order quantification in first order intuitionistic propositional logic