The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames
From MaRDI portal
Publication:4711191
DOI10.1002/malq.19910372303zbMath0724.03008OpenAlexW2163005048MaRDI 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
validityexpressive powerKripke framefragments of intuitionistic logicdownwards linear frameselimination of conjunctionnon-eliminability
Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items