Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic
Kurata, Toshihiko, Fujita, Ken-etsu, Altenkirch, Thorsten, Schubert, AleksyVolume:
170
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2019-1861
Date:
October, 2019
File:
PDF, 363 KB
2019