Hispanopedia Wiki
Articulo de referencia

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

Hispanopedia WikiContenido en espanolLectura gratuita

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 distanciarnos 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 lugar a 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

Referencias

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

Lecturas adicionales

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