Nick Bezhanishvili, Dick De Jongh, Apostolos Tzimoulis, Zhiguang Zhao. Universal Models for the Positive Fragment of Intuitionistic Logic. In Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat, editors, Logic, Language, and Computation - 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers. Volume 10148 of Lecture Notes in Computer Science, pages 229-250, Springer, 2015. [doi]
Abstract is missing.