Institution-independent Model Theory
Springer Basel (Verlag)
978-3-7643-8707-5 (ISBN)
- Lieferbar
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
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.
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.
| Erscheint lt. Verlag | 16.5.2008 |
|---|---|
| Reihe/Serie | Studies in Universal Logic |
| Zusatzinfo | XI, 376 p. |
| Verlagsort | Basel |
| Sprache | englisch |
| Maße | 170 x 240 mm |
| Gewicht | 765 g |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | Computer • Computer Science • fundamental theorem • Hardcover, Softcover / Mathematik/Grundlagen • HC/Mathematik/Grundlagen • Institution theory • Logic • Modelltheorie • model Theory • programming • Proof • Ultraproduct |
| ISBN-10 | 3-7643-8707-6 / 3764387076 |
| ISBN-13 | 978-3-7643-8707-5 / 9783764387075 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
