Institution-independent Model Theory - 8 Angebote vergleichen
Preise | 2013 | 2014 | 2016 | 2018 | 2019 |
---|---|---|---|---|---|
Schnitt | € 85,70 | € 88,76 | € 111,61 | € 88,09 | € 72,81 |
Nachfrage |
1
Institution-independent Model Theory (2008)
~EN NW EB
ISBN: 9783764387082 bzw. 3764387084, vermutlich in Englisch, Springer, neu, E-Book.
Lieferung aus: Schweiz, Sofort per Download lieferbar.
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, 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. TOC:1. Introduction.- 2. Categories.- 3. Institutions.- 4. Theories and Models.- 5. Internal Logic.- 6. Model Ultraproducts.- 7. Saturated Models.- 8. Preservation and Axiomatizability.- 9. Interpolation.- 10. Definability.- 11. Possible Worlds.- 12. Grothendieck Institutions.- 13. Institutions with Proofs.- 14. Specification.- 15. Logic Programming. PDF, 01.08.2008.
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, 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. TOC:1. Introduction.- 2. Categories.- 3. Institutions.- 4. Theories and Models.- 5. Internal Logic.- 6. Model Ultraproducts.- 7. Saturated Models.- 8. Preservation and Axiomatizability.- 9. Interpolation.- 10. Definability.- 11. Possible Worlds.- 12. Grothendieck Institutions.- 13. Institutions with Proofs.- 14. Specification.- 15. Logic Programming. PDF, 01.08.2008.
2
Institution-independent Model Theory (2008)
~EN NW EB
ISBN: 9783764387082 bzw. 3764387084, vermutlich in Englisch, Springer, neu, E-Book.
Lieferung aus: Deutschland, Sofort per Download lieferbar.
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 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. TOC:1. Introduction.- 2. Categories.- 3. Institutions.- 4. Theories and Models.- 5. Internal Logic.- 6. Model Ultraproducts.- 7. Saturated Models.- 8. Preservation and Axiomatizability.- 9. Interpolation.- 10. Definability.- 11. Possible Worlds.- 12. Grothendieck Institutions.- 13. Institutions with Proofs.- 14. Specification.- 15. Logic Programming. 01.08.2008, PDF.
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 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. TOC:1. Introduction.- 2. Categories.- 3. Institutions.- 4. Theories and Models.- 5. Internal Logic.- 6. Model Ultraproducts.- 7. Saturated Models.- 8. Preservation and Axiomatizability.- 9. Interpolation.- 10. Definability.- 11. Possible Worlds.- 12. Grothendieck Institutions.- 13. Institutions with Proofs.- 14. Specification.- 15. Logic Programming. 01.08.2008, PDF.
3
Institution-independent Model Theory
~EN NW EB DL
ISBN: 9783764387082 bzw. 3764387084, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Österreich, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Institution-independent Model Theory
DE NW EB DL
ISBN: 9783764387082 bzw. 3764387084, in Deutsch, Springer Basel, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Institution-independent Model Theory
~EN PB NW EB DL
ISBN: 9783764387082 bzw. 3764387084, vermutlich in Englisch, Springer-Verlag GmbH, Taschenbuch, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Institution-independent Model Theory
DE NW
ISBN: 9783764387082 bzw. 3764387084, in Deutsch, Birkenhäuser Verlag, Basel/Boston/Stuttgart, Schweiz, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…