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.Institution-independent model theory by Răzvan Diaconescu 2008 ISBN 3-7643-8707-6 page 3

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.Handbook of mathematical logic by Jon Barwise 1989 ISBN 0-444-86388-5 page 45 O ponto de partida para o estudo de modelos abstratos, o que resultou em bons exemplos foi o teorema de Lindström.Jean-Yves Béziau Logica universalis: towards a general theory of logic 2005 ISBN 978-3-7643-7259-0 pages 20–25

Em 1974 Jon Barwise fornecida uma axiomatização da teoria de modelo abstrato.J. Barwise, 1974 Axioms for abstract model theory, Annals of Math.

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

Notas

Ler mais

Categoria:Lógica matemática