Publié le : 1993-06-14
Classification:
03B20,
03F07,
03F10,
03G30,
18C10
@article{1093634727,
author = {Makkai, M.},
title = {The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to G\"odel, Kripke, and L\"auchli. I.},
journal = {Notre Dame J. Formal Logic},
volume = {34},
number = {4},
year = {1993},
pages = { 334-377},
language = {en},
url = {http://dml.mathdoc.fr/item/1093634727}
}
Makkai, M. The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. I.. Notre Dame J. Formal Logic, Tome 34 (1993) no. 4, pp. 334-377. http://gdmltest.u-ga.fr/item/1093634727/