Diagram Construction in Intuitionistic Logic

DOI10.1093/JIGPAL/JZL028MaRDI QIDQ3424136zbMATH OpenOpenAlexFDO

Authors Seyed Mohammad Bagheri, M. Pourmahdian

Publication date 15 February 2007

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzl028

zbMATH Keywords

diagramintermediate logicKripke modelsultraproductsubmodelsemi-classical logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Recommendations

• Computations in fragments of intuitionistic propositional logic
• Some preservation theorems in an intermediate logic
• Omitting types in an intermediate logic
• scientific article; zbMATH DE number 3873298
• Some results on intermediate constructive logics

Cited in

(5)

• A Diagrammatic Bridge Between Standard and Non-standard Logics: The Numerical Segment
• Logic Diagrams in the Weigel and Weise Circles
• Intuitionistic Euler-Venn Diagrams
• Omitting types in an intermediate logic
• scientific article; zbMATH DE number 4056563 (Why is no real title available?)

This page was built for publication: Diagram Construction in Intuitionistic Logic

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