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