Institution-independent Model Theory

• Main Author: Diaconescu, Răzvan (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Basel : Birkhäuser Basel, 2008.
• Series: Studies in Universal Logic
• Subjects: Mathematics.; Logic.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially...

Table of Contents:

• Categories
• Institutions
• Theories and Models
• Internal Logic
• Model Ultraproducts
• Saturated Models
• Preservation and Axiomatizability
• Interpolation
• Definability
• Possible Worlds
• Grothendieck Institutions
• Institutions with Proofs
• Specification
• Logic Programming.