Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Diaconescu, Razvan (Autor)
Autor Corporativo: SpringerLink (Online service)
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.