Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic

Issue title: Types, terms and reductions: A special issue dedicated to Paweł Urzyczyn for his 65th birthday

Guest editors: Thorsten Altenkirch and Aleksy Schubert

Article type: Research Article

Authors: Kurata, Toshihiko^{a; *; †} | Fujita, Ken-etsu^{b; †}

Affiliations: [a] Faculty of Business Administration, Hosei University, 2-17-1 Fujimi, Chiyoda-ku, Tokyo 102-8160, Japan. [email protected] | [b] Department of Computer Science, Gunma University, 1-5-1 Tenjin-cho, Kiryu-shi, Gunma 376-8515, Japan. [email protected]

Correspondence: [*] Address for correspondence: Faculty of Business Administration, Hosei University, 2-17-1 Fujimi, Chiyoda-ku, Tokyo 102-8160, Japan.

Note: [†] This research is dedicated to Professor Paweł Urzyczyn on the occasion of his 65th birthday. The authors are supported by JSPS KAKENHI Grant Number JP17K05343. They also would like to thank the referees for their valuable comments and suggestions.

Keywords: second-order intuitionistic propositional logic, complete Heyting algebra, completeness theorem

DOI: 10.3233/FI-2019-1861

Journal: Fundamenta Informaticae, vol. 170, no. 1-3, pp. 223-240, 2019