Teoría de modelos abstractos

En lógica matemática , la teoría de modelos abstractos es una generalización de la teoría de modelos que estudia las propiedades generales de las extensiones de la lógica de primer orden y sus modelos. ^[1]

La teoría de modelos abstractos proporciona un enfoque que nos permite dar un paso atrás y estudiar una amplia gama de lógicas y sus relaciones. ^[2] El punto de partida para el estudio de los modelos abstractos, que dio buenos ejemplos, fue el teorema de Lindström . ^[3]

En 1974 Jon Barwise proporcionó una axiomatización de la teoría de modelos abstractos. ^[4]

Véase también

• Teorema de Lindström
• Institución (informática)
• Teoría del modelo institucional

Referencias

1. Teoría del modelo independiente de la institución por Răzvan Diaconescu 2008 ISBN  3-7643-8707-6 página 3
2. Manual de lógica matemática de Jon Barwise 1989 ISBN 0-444-86388-5 página 45 
3. Jean-Yves Béziau Logica universalis: hacia una teoría general de la lógica 2005 ISBN 978-3-7643-7259-0 páginas 20-25 
4. J. Barwise, 1974 "Axiomas para la teoría de modelos abstractos", Anales de lógica matemática 7:221–265

Lectura adicional

• Jon Barwise; Solomon Feferman (1985). Lógica de teoría de modelos . Springer-Verlag. ISBN 978-0-387-90936-3.