Institution-independent Model Theory

Show other versions (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. Especially...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Diaconescu, Razvan (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Basel : Birkhäuser Basel : Imprint: Birkhäuser, 2008.
Edition:1st ed. 2008.
Series:Studies in Universal Logic,
Subjects:
Mathematical logic.
Machine theory.
Logic.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Online Access:Texto Completo
Table of Contents:
  • 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.

Similar Items