@inproceedings{5db9ade98db94357bc76af6ae80ea68e,
title = "Universal models for the positive fragment of intuitionistic logic",
abstract = "We describe the n-universal model U⋆(n) of the positive fragment of the intuitionistic propositional calculus IPC. We show that U⋆(n) is isomorphic to a generated submodel of U(n) - the n-universal model of IPC. Using U⋆(n), we give an alternative proof of Jankov{\textquoteright}s theorem stating that the intermediate logic KC, the logic of the weak law of excluded middle, is the greatest intermediate logic extending IPC that proves exactly the same positive formulas as IPC.",
keywords = "Fragment of intuitionistic logic, Jankov{\textquoteright}s theorem, Positive morphism, Universal models",
author = "Nick Bezhanishvili and {de Jongh}, Dick and Apostolos Tzimoulis and Zhiguang Zhao",
year = "2017",
month = jan,
day = "1",
doi = "10.1007/978-3-662-54332-0_13",
language = "English",
isbn = "9783662543313",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "229--250",
editor = "Mehrnoosh Sadrzadeh and Henk Zeevat and Murray, {Sarah E.} and Hansen, {Helle Hvid}",
booktitle = "Logic, Language, and Computation - 11th International Tbilisi Symposium, TbiLLC 2015, Revised Selected Papers",
address = "Germany",
note = "11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015 ; Conference date: 21-09-2015 Through 26-09-2015",
}