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

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Principais autores: Diaconescu, Rzvan., SpringerLink (Online service)
Formato: Digital
Publicado em:
Assuntos:
Lógica simbólica e matemática.
Computação.
Matemática.
Endereço do item:http://dx.doi.org/10.1007/978-3-7643-8708-2
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-129835
record_format dspace
spelling oai:localhost:123456789-1298352023-07-17T15:13:20Z Institution-independent Model Theory Diaconescu, Rzvan. SpringerLink (Online service) Lógica simbólica e matemática. Computação. Matemática. 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 in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained. 0 2022-10-06T07:52:09Z 2022-10-06T07:52:09Z 2008. Digital 510.6 D536i 9783764387082 197915 http://dx.doi.org/10.1007/978-3-7643-8708-2 http://dx.doi.org/10.1007/978-3-7643-8708-2
institution Acervo SISBI
collection SIGAA
topic Lógica simbólica e matemática.
Computação.
Matemática.
spellingShingle Lógica simbólica e matemática.
Computação.
Matemática.
Diaconescu, Rzvan.
SpringerLink (Online service)
Institution-independent Model Theory
description 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 in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.
format Digital
author Diaconescu, Rzvan.
SpringerLink (Online service)
author_facet Diaconescu, Rzvan.
SpringerLink (Online service)
author_sort Diaconescu, Rzvan.
title Institution-independent Model Theory
title_short Institution-independent Model Theory
title_full Institution-independent Model Theory
title_fullStr Institution-independent Model Theory
title_full_unstemmed Institution-independent Model Theory
title_sort institution-independent model theory
publishDate 2022
url http://dx.doi.org/10.1007/978-3-7643-8708-2
work_keys_str_mv AT diaconescurzvan institutionindependentmodeltheory
AT springerlinkonlineservice institutionindependentmodeltheory
_version_ 1771688156553281536

Registros relacionados