Institution-independent Model Theory

• Κύριος συγγραφέας: Diaconescu, Răzvan (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Basel : Birkhäuser Basel, 2008.
• Σειρά: Studies in Universal Logic
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.