Model Theory for Intuitionistic Logic

DOI10.1002/MALQ.19720180402MaRDI QIDQ5652672zbMATH OpenOpenAlexFDO

Authors Dov Gabbay

Publication date 1972

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Intermediate logics (03B55) Model theory (03C99)

Cited in

(8)

• Craig interpolation theorem for intuitionistic logic and extensions Part III
• Intuitionistic logical connectives on linear structures
• Semantic characterization of certain sets of intuitionistic logical connectives
• Normal modal model theory
• Intuitionistic typical ambiguity
• Semantic characterization of intuitionistic logical connectives
• On models with variable universe
• Model theory for an extension of intuitionistic logic

This page was built for publication: Model Theory for Intuitionistic Logic

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