Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli (part 2)
Автор: Makkai M.
Аннотация:
This is the second, concluding part of a two-part paper. After the mainly preliminary work of the first part, the present second part contains the treatment of the fibrational versions of the Kripke and the Läuchli completeness theorems.