Outline

• Why multiple logics?

• Inference procedures

• Logics and logic morphisms

• Universal spec category

• Universal logic

• Gluing via colimit

Previous slide

Next slide

Back to first slide

View graphic version