TY  - BOOK
AU  - Diaconescu,Răzvan
ED  - SpringerLink (Online service)
TI  - Institution-independent Model Theory
T2  - Studies in Universal Logic,
SN  - 9783764387082
AV  - QA8.9-10.3 
U1  - 511.3 23
PY  - 2008///
CY  - Basel
PB  - Birkhäuser Basel
KW  - Logic, Symbolic and mathematical
KW  - Computer science
KW  - Logic
KW  - Mathematical Logic and Foundations
KW  - Mathematical Logic and Formal Languages
N1  - 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
N2  - 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
UR  - https://doi.org/10.1007/978-3-7643-8708-2
ER  -