Institution-independent Model Theory

Razvan Diaconescu

ISBN 10: 3764387076 / ISBN 13: 9783764387075

Published by Springer, Basel, Birkhäuser Basel, Birkhäuser Mai 2008, 2008

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 376 pp. Englisch.

Seller Inventory # 9783764387075

Bibliographic Details

• Title: Institution-independent Model Theory
• Publisher: Springer, Basel, Birkhäuser Basel, Birkhäuser Mai 2008
• Publication Date: 2008
• Language: English
• ISBN 10: 3764387076
• ISBN 13: 9783764387075
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 240W x 192H x 36D millimeters 240 millimeters width by 192 millimeters height by 36 millimeters depth
• Weight: 768 grams

About this title

Synopsis

This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called 'institution theory'. The development includes most of the important methods and concepts of conventional concrete model theory at the abstract institution-independent level. Consequently it is easily applicable to a rather large diverse collection of logics from the mathematical and computer science practice.

From the Back Cover

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.