Diagram Construction in Intuitionistic Logic

DOI10.1093/JIGPAL/JZL028zbMath1119.03018OpenAlexW2022836701MaRDI QIDQ3424136

Seyed-Mohammad Bagheri, Massoud Pourmahdian

Publication date: 15 February 2007

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

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

zbMATH Keywords

diagramultraproductKripke modelssubmodelintermediate logicsemi-classical logic

Mathematics Subject Classification ID

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

Related Items (1)

Omitting types in an intermediate logic

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