Outline

7/17/98


Click here to start


Table of Contents

Title page

Outline

Why multiple logics?

Inference procedures

Logics

Logic morphisms

Universal spec category

Grothendieck construction

Grothendieck construction

Grothendieck construction

Universal logic

Proposition

Gluing via colimit

Author: David Espinosa

Email: espinosa@kestrel.edu

Home Page: http://www.kestrel.edu

Download presentation source