Title page
Outline
Why multiple logics?
Inference procedures
Logics
Logic morphisms
Universal spec category
Grothendieck construction
Universal logic
Proposition
Gluing via colimit
Email: espinosa@kestrel.edu
Home Page: http://www.kestrel.edu
Download presentation source