Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
Nobu-Yuki SuzukiVolume:
52
Year:
1993
Language:
english
Pages:
22
Journal:
Studia Logica
DOI:
10.1007/bf01053065
File:
PDF, 1.28 MB
english, 1993