The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames

DOI10.1002/MALQ.19910372303MaRDI QIDQ4711191zbMATH OpenOpenAlexFDO

Authors P. H. Rodenburg

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

zbMATH Keywords

downwards linear frameselimination of conjunctionexpressive powerfragments of intuitionistic logicKripke framenon-eliminabilityvalidity

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• A remark on propositional Kripke frames sound for intuitionistic logics
• On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains
• Semantic characterization of intuitionistic logical connectives
• Intuitionistic implication without disjunction
• Speaking about transitive frames in propositional languages

Cited in

(4)

• Speaking about transitive frames in propositional languages
• On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains
• Rudimentary Kripke models for the intuitionistic propositional calculus
• A remark on propositional Kripke frames sound for intuitionistic logics

This page was built for publication: The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4711191)