Omitting types in an intermediate logic

DOI10.1007/S11225-011-9310-XzbMATH Open1232.03023OpenAlexW1985386660MaRDI QIDQ539154

Massoud Pourmahdian, Seyed-Mohammad Bagheri

Publication date: 27 May 2011

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-011-9310-x

zbMATH Keywords

Kripke modelsintuitionistic logicomitting typessemi-isolated

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume II
• Diagram Construction in Intuitionistic Logic
• Some preservation theorems in an intermediate logic
• Logic and structure
• Submodels of Kripke models

This page was built for publication: Omitting types in an intermediate logic