Loading…

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

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:
Online Access:Texto Completo