- Esta página trata sobre el concepto de lógica matemática. Para los conceptos de sociología , véase Teoría institucional y Lógica institucional .
En lógica matemática , la teoría de modelos institucionales generaliza una gran parte de la teoría de modelos de primer orden a un sistema lógico arbitrario .
Descripción general
La noción de "sistema lógico" se formaliza aquí como una institución . Las instituciones constituyen una metateoría orientada a modelos sobre sistemas lógicos, de manera similar a cómo la teoría de anillos y módulos constituye una metateoría para el álgebra lineal clásica . Se puede hacer otra analogía con el álgebra universal versus grupos , anillos , módulos , etc. Al abstraernos de las realidades de las lógicas convencionales reales, se puede notar que la teoría de instituciones se acerca de hecho a las realidades de las lógicas no convencionales.
La teoría de modelos institucionales analiza y generaliza las nociones y resultados de la teoría de modelos clásicos, como
Para cada concepto y teorema, se analizan la infraestructura y las propiedades requeridas y se formulan como condiciones de las instituciones, proporcionando así una visión detallada de en qué propiedades de la lógica de primer orden se basan y en qué medida se pueden generalizar a otras lógicas.
Referencias
- Răzvan Diaconescu: teoría del modelo independiente de instituciones. Birkhäuser, 2008. ISBN 978-3-7643-8707-5 .
- Răzvan Diaconescu: Joyas de la teoría de modelos independientes de la institución. En: K. Futatsugi, J.-P. Jouannaud , J. Meseguer (eds.): Álgebra, significado y computación. Ensayos dedicados a Joseph A. Goguen con motivo de su 65.º cumpleaños. Lecture Notes in Computer Science 4060, págs. 65-98, Springer-Verlag, 2006.
- Marius Petria y Rãzvan Diaconescu: Resumen La definibilidad de Beth en las instituciones. Journal of Symbolic Logic 71(3), p. 1002-1028, 2006.
- Daniel Gǎinǎ y Andrei Popescu: Una generalización independiente de la institución del teorema de la cadena elemental de Tarski, Journal of Logic and Computation 16(6), p. 713-735, 2006.
- Till Mossakowski, Joseph Goguen , Rãzvan Diaconescu, Andrzej Tarlecki: ¿Qué es una lógica?. En Jean-Yves Beziau , editor, Logica Universalis, páginas 113-133. Birkhauser, 2005.
- Andrzej Tarlecki: Cuasi-variedades en instituciones algebraicas abstractas. Journal of Computer and System Sciences 33(3), pág. 333-360, 1986.
Enlaces externos
- Lista de publicaciones de Răzvan Diaconescu: contiene trabajos recientes sobre la teoría de modelos institucionales