Diagram Construction in Intuitionistic Logic

DOI10.1093/JIGPAL/JZL028zbMATH Open1119.03018OpenAlexW2022836701MaRDI QIDQ3424136FDOQ3424136

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

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

zbMATH Keywords

diagramintermediate logicKripke modelsultraproductsubmodelsemi-classical logic

Mathematics Subject Classification ID

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

Cited In (5)

• Logic Diagrams in the Weigel and Weise Circles
• Omitting types in an intermediate logic
• Title not available (Why is that?)
• A Diagrammatic Bridge Between Standard and Non-standard Logics: The Numerical Segment
• Intuitionistic Euler-Venn Diagrams

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)