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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Diaconescu, Răzvan
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Basel ; Boston : Birkhäuser, ©2008.
Colección:Studies in universal logic.
Temas:
Acceso en línea:Texto completo
Descripción
Sumario: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.
Descripción Física:1 online resource (xi, 376 pages) : illustrations
Bibliografía:Includes bibliographical references (pages 355-367) and index.
ISBN:9783764387082
3764387084
9783764387075
3764387076