Model Theory for Intuitionistic Logic

DOI10.1002/MALQ.19720180402zbMath0242.02059OpenAlexW2001209040MaRDI QIDQ5652672

Dov M. 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

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

Related Items (8)

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

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