Universal models for the positive fragment of intuitionistic logic

DOI10.1007/978-3-662-54332-0_13MaRDI QIDQ2284497zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

fragment of intuitionistic logicJankov's theorempositive morphismuniversal models

Mathematics Subject Classification ID

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

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

Cited in

(6)

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

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)