Overview
- Presents a novel approach to model theory beyond any commitement to concrete particular logics
- Develops a new top-down methodology for doing model theory leading to important theoretical consequences
- Within the rather large institution theory literature the first book dedicated to model theory
- Gathers together in a unitary way important works in the area published through various journals or even yet unpublished
- Includes supplementary material: sn.pub/extras
Part of the book series: Studies in Universal Logic (SUL)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (15 chapters)
Keywords
About this book
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 in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.
Authors and Affiliations
Bibliographic Information
Book Title: Institution-independent Model Theory
Authors: Răzvan Diaconescu
Series Title: Studies in Universal Logic
DOI: https://doi.org/10.1007/978-3-7643-8708-2
Publisher: Birkhäuser Basel
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Birkhäuser Basel 2008
Softcover ISBN: 978-3-7643-8707-5Published: 16 May 2008
eBook ISBN: 978-3-7643-8708-2Published: 01 August 2008
Series ISSN: 2297-0282
Series E-ISSN: 2297-0290
Edition Number: 1
Number of Pages: XI, 376
Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Logic