Omitting types in an intermediate logic

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

Authors: Seyed Mohammad Bagheri, M. Pourmahdian 

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

Recommendations

• Some preservation theorems in an intermediate logic
• A note on omitting types in propositional logic.
• scientific article; zbMATH DE number 871447
• Omitting types algebraically via cylindric algebras
• An omitting types theorem in finite schematizable algebraic logic

zbMATH Keywords

intuitionistic logicKripke modelsomitting typessemi-isolated

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Submodels of Kripke models
• Constructivism in mathematics. An introduction. Volume II
• Logic and structure
• Title not available (Why is that?)
• Diagram Construction in Intuitionistic Logic
• Title not available (Why is that?)
• Categoricity and quantifier elimination for intuitionistic theories
• Some preservation theorems in an intermediate logic

Cited In (3)

• Some preservation theorems in an intermediate logic
• A note on omitting types in propositional logic.
• Diagram Construction in Intuitionistic Logic

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

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