Cover of Razvan Diaconescu: Institution-independent Model Theory

Razvan Diaconescu Institution-independent Model Theory

Price for Eshop: 2520 Kč (€ 100.8)

VAT 0% included

New

E-book delivered electronically online

E-Book information

Birkhauser Basel

2008

PDF
How do I buy e-book?

978-3-7643-8708-2

3-7643-8708-4

Annotation

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.

Ask question

You can ask us about this book and we'll send an answer to your e-mail.