Institution-independent Model Theory / Studies in Universal Logic (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...
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- Autor: Razvan Diaconescu
- 2008, 2008, 376 Seiten, Englisch
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3764387084
- ISBN-13: 9783764387082
- Erscheinungsdatum: 01.08.2008
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 3.03 MB
- Ohne Kopierschutz
- Vorlesefunktion
Schreiben Sie einen Kommentar zu "Institution-independent Model Theory / Studies in Universal Logic".
Kommentar verfassen