Abrir menu principal

Na lógica matemática, a teoria de modelo abstrato é uma generalização da teoria dos modelos que estuda as propriedades gerais de extensões de a lógica de primeira ordem e os seus modelos.[1]

Teoria de modelo abstrato fornece uma abordagem que nos permite dar um passo para trás e o estudo de uma ampla gama de lógicas e suas relações.[2] O ponto de partida para o estudo de modelos abstratos, o que resultou em bons exemplos foi o teorema de Lindström.[3]

Em 1974 Jon Barwise fornecida uma axiomatização da teoria de modelo abstrato.[4]

Veja tambémEditar

  • O teorema de Lindström
  • Instituição (ciência da computação)
  • Modelo institucional e teoria

NotasEditar

  1. Institution-independent model theory by Răzvan Diaconescu 2008 ISBN 3-7643-8707-6 page 3
  2. Handbook of mathematical logic by Jon Barwise 1989 ISBN 0-444-86388-5 page 45
  3. Jean-Yves Béziau Logica universalis: towards a general theory of logic 2005 ISBN 978-3-7643-7259-0 pages 20–25
  4. J. Barwise, 1974 Axioms for abstract model theory, Annals of Math.

Ler maisEditar