Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli (part 2)

Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli (part 2) Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli (part 2)

Authors: Makkai M.Pages: 28     Year: 1993

Tags: intuitionistic completeness fibrational according lauchli kripke predicate formulation
   

Customers who bought this item also bought:



Dleex

© 2007–2020 Dleex.

English      German      French      Russian

For any question please write to our email e-mail