Institution-independent model theory /

Mostrar otras versiones (1)

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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Diaconescu, Răzvan
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Basel ; Boston : Birkhäuser, ©2008.
Colección:Studies in universal logic.
Temas:
Model theory.
Logic, Symbolic and mathematical.
Théorie des modèles.
Logique symbolique et mathématique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Teoría de modelos
Lógica matemática
Logic, Symbolic and mathematical
Model theory
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Introduction
  • Categories
  • Institutions
  • Theories and models
  • Internal logic
  • Model ultrapoducts
  • Saturated models
  • Preservation and axiomatizability
  • Interpolation
  • Definability
  • Possible worlds
  • Grothendieck institutions
  • Institutions with proofs
  • Specification
  • Logic programming.

Ejemplares similares