| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991001717329707536 |
|
|
Autore |
Hermann, Augustin |
|
|
Titolo |
Adalbert Stifter und das Christliche Weltbild / Augustin Hermann |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Basel ; Stuttgart : B. Schwabe, 1959 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910986146103321 |
|
|
Autore |
Diaconescu Răzvan |
|
|
Titolo |
Institution-independent Model Theory / / by Răzvan Diaconescu |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[2nd ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (568 pages) |
|
|
|
|
|
|
Collana |
|
Studies in Universal Logic, , 2297-0290 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
Machine theory |
Logic |
Model theory |
Mathematical Logic and Foundations |
Formal Languages and Automata Theory |
Model Theory |
Lògica |
Teoria de màquines |
Teoria de models |
Llenguatges formals |
Llibres electrònics. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
|
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
- Introduction -- Part I Basics -- Categories -- Institutions -- Theories and Models -- Internal Logic -- Part II Advanced Topics -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Part III Extensions -- Institutions with Proofs -- Models with States -- Many-valued Truth Institutions -- Part IV Applications to Computing -- Grothendieck Institutions -- Specification -- Logic Programming. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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 general 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 axiomatic top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. Consequently, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained. Moreover, all this is also applied to non-classical model theories. This second edition introduces some novelties in the presentation style which aim to enhance the readability of the material and the proofs. Additional chapters have also been added. |
|
|
|
|
|
|
|
| |