Some preservation theorems in an intermediate logic

DOI10.1002/malq.200510019zbMath1100.03014OpenAlexW2036892632MaRDI QIDQ5469105

Seyed-Mohammad Bagheri

Publication date: 16 May 2006

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200510019

zbMATH Keywords

Kripke modelsmodel completenesspreservation theoremsinductive theoriessemi-classical logic

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Intermediate logics (03B55)

Related Items (1)

Omitting types in an intermediate logic

Cites Work

• Very intuitionistic theories and quantifier elimination
• Constructivism in mathematics. An introduction. Volume I
• A logic stronger than intuitionism
• Unnamed Item
• Unnamed Item

This page was built for publication: Some preservation theorems in an intermediate logic