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 general mathematical formulation for the intuitive concept of a logical system. Esp...
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awdur Corfforaethol: | |
| Fformat: | Electronig eLyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Cham :
Springer Nature Switzerland : Imprint: Birkhäuser,
2025.
|
| Rhifyn: | 2nd ed. 2025. |
| Cyfres: | Studies in Universal Logic,
|
| Pynciau: | |
| Mynediad Ar-lein: | https://doi.org/10.1007/978-3-031-68854-6 |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Tabl Cynhwysion:
- - 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.