Interpolation in fragments of intuitionistic propositional logic
From MaRDI portal
Publication:3486539
DOI10.2307/2274823zbMath0706.03011OpenAlexW2252582694MaRDI 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
Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
On an interpretation of second order quantification in first order intuitionistic propositional logic, Lewis meets Brouwer: constructive strict implication, The Beth property in algebraic logic, Computations in fragments of intuitionistic propositional logic, Modular structuring of VDM specifications in VVSL, EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES, Interpolation in non-classical logics, Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
