Institution-independent Model Theory
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...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 圖書 |
| 語言: | English |
| 出版: |
Springer
2017
|
| 主題: | |
| 在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/25620 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Vietnam National University, Hanoi |
| 語言: | English |
| id |
oai:112.137.131.14:VNU_123-25620 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-256202020-06-15T08:56:30Z Institution-independent Model Theory Diaconescu, Răzvan Mathematics ; Model theory Model Theory ; Logic, Symbolic and mathematical. 511.3 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. 2017-04-10T07:39:52Z 2017-04-10T07:39:52Z 2008 Book 978-3-7643-8707-5 http://repository.vnu.edu.vn/handle/VNU_123/25620 en 377 p. application/pdf Springer |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Mathematics ; Model theory Model Theory ; Logic, Symbolic and mathematical. 511.3 |
| spellingShingle |
Mathematics ; Model theory Model Theory ; Logic, Symbolic and mathematical. 511.3 Diaconescu, Răzvan Institution-independent Model Theory |
| description |
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. |
| format |
Book |
| author |
Diaconescu, Răzvan |
| author_facet |
Diaconescu, Răzvan |
| author_sort |
Diaconescu, Răzvan |
| title |
Institution-independent Model Theory |
| title_short |
Institution-independent Model Theory |
| title_full |
Institution-independent Model Theory |
| title_fullStr |
Institution-independent Model Theory |
| title_full_unstemmed |
Institution-independent Model Theory |
| title_sort |
institution-independent model theory |
| publisher |
Springer |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/25620 |
| _version_ |
1680967980874203136 |