Syntactic preservation theorems for intuitionistic predicate logic

DOI10.1215/00294527-2010-014zbMath1254.03016OpenAlexW2009637102MaRDI QIDQ985006

Jonathan Fleischmann

Publication date: 20 July 2010

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2010-014

zbMATH Keywords

Kripke modelsintuitionistic predicate logicformula hierarchiesKeisler sandwich theorempreservation theorems

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

Constructive Ackermann's interpretation ⋮ An intuitionistic formula hierarchy based on high‐school identities ⋮ Homomorphisms and chains of Kripke models ⋮ On the Mints Hierarchy in First-Order Intuitionistic Logic

This page was built for publication: Syntactic preservation theorems for intuitionistic predicate logic