Institution-independent model theory

Institution-independent model theory / Răzvan Diaconescu.

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.

Saved in:
Bibliographic Details
Main Author: Diaconescu, Răzvan
Format: eBook
Language:English
Published: Basel ; Boston : Birkhäuser, ©2008.
Series:Studies in universal logic.
Subjects:
Model theory.
Logic, Symbolic and mathematical.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Teoría de modelos
Lógica matemática
Logic, Symbolic and mathematical
Model theory
Online Access:Click for online access
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
Source of Description, Etc. Note:Print version record.

Similar Items