Institution-Independent Model Theory 2008 Edition Contributor(s): Diaconescu, Razvan (Author) |
|
![]() |
ISBN: 3764387076 ISBN-13: 9783764387075 Publisher: Birkhauser OUR PRICE: $104.49 Product Type: Paperback - Other Formats Published: May 2008 Annotation: 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 concept of institution provides a model theory oriented mathematical formulation for the intuitive concept of logical system and had arisen within computing science as a response to the population explosion of specification logics. Our 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, many of them not having a proper model theory prior to this work. Moreover the novel top-down methodology proposed leads to an understanding of model theoretic phenomena which is guided by structurally clean causality. This facilitates the access to deep results and even the discovery of new ones in well worked areas of conventional concrete model theories. The book contains also some applications to computing science. |
Additional Information |
BISAC Categories: - Mathematics | Logic - Computers | Computer Science - Mathematics | Algebra - General |
Dewey: 511.34 |
Series: Studies in Universal Logic |
Physical Information: 0.8" H x 6.6" W x 9.3" (1.70 lbs) 376 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |