Model Theory for Intuitionistic Logic

DOI10.1002/MALQ.19720180402zbMATH Open0242.02059OpenAlexW2001209040MaRDI QIDQ5652672FDOQ5652672

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
• Semantic characterization of certain sets of intuitionistic logical connectives
• Semantic characterization of intuitionistic logical connectives
• Normal modal model theory
• Intuitionistic typical ambiguity
• On models with variable universe
• Model theory for an extension of intuitionistic logic
• Intuitionistic logical connectives on linear structures

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)