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...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Autor Corporativo: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Basel :
Birkhäuser Basel : Imprint: Birkhäuser,
2008.
|
Edición: | 1st ed. 2008. |
Colección: | Studies in Universal Logic,
|
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Categories
- Institutions
- Theories and Models
- Internal Logic
- Model Ultraproducts
- Saturated Models
- Preservation and Axiomatizability
- Interpolation
- Definability
- Possible Worlds
- Grothendieck Institutions
- Institutions with Proofs
- Specification
- Logic Programming.