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.

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Diaconescu, Răzvan
Format: Electronic eBook
Language:Inglés
Published: Basel ; Boston : Birkhäuser, ©2008.
Series:Studies in universal logic.
Subjects:
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
Online Access:Texto completo
Description
Summary: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.
Physical Description:1 online resource (xi, 376 pages) : illustrations
Bibliography:Includes bibliographical references (pages 355-367) and index.
ISBN:9783764387082
3764387084
9783764387075
3764387076

Similar Items