The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames
From MaRDI portal
Publication:4711191
DOI10.1002/malq.19910372303zbMath0724.03008MaRDI QIDQ4711191
Publication date: 25 June 1992
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19910372303
validity; expressive power; Kripke frame; fragments of intuitionistic logic; downwards linear frames; elimination of conjunction; non-eliminability
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items