ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC

DOI10.1070/SM1984v048n01ABEH002672zbMath0568.03018OpenAlexW1977645663MaRDI QIDQ3684111

V. I. Stepanov

Publication date: 1984

Published in: Mathematics of the USSR-Sbornik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/sm1984v048n01abeh002672

zbMATH Keywords

completenessomitting types theoremsimple theory of typesHenkin completeness theoremtheories with infinite rules for deductionultraproduct of Kripke structures

Mathematics Subject Classification ID

This page was built for publication: ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC