Universal models for the positive fragment of intuitionistic logic

DOI10.1007/978-3-662-54332-0_13zbMATH Open1428.03043OpenAlexW2590929880MaRDI QIDQ2284497FDOQ2284497

Authors: Nick Bezhanishvili, Apostolos Tzimoulis, Zhiguang Zhao, Dick H. J. de Jongh 

Publication date: 15 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-54332-0_13

Recommendations

• Jankov's theorems for intermediate logics in the setting of universal models
• Positive formulas in intuitionistic and minimal logic
• Duality and universal models for the meet-implication fragment of IPC
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• Kripke submodels and universal sentences

zbMATH Keywords

universal modelsfragment of intuitionistic logicJankov's theorempositive morphism

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (6)

• Subminimal negation
• Intermediate logics in the setting of team semantics
• Notes on my scientific life
• Duality and universal models for the meet-implication fragment of IPC
• Jankov's theorems for intermediate logics in the setting of universal models
• Positive formulas in intuitionistic and minimal logic

This page was built for publication: Universal models for the positive fragment of intuitionistic logic

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