Item description for Institution-independent Model Theory (Studies in Universal Logic) by Razvan Diaconescu...
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.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9.4" Width: 6.6" Height: 0.9" Weight: 1.7 lbs.
Release Date Jun 23, 2008
Publisher Birkhäuser Basel
ISBN 3764387076 ISBN13 9783764387075
Availability 138 units. Availability accurate as of May 23, 2017 08:43.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.
More About Razvan Diaconescu
Diaconescu is of Japan Advanced Institute of Science & Technology.