Teoria de modelo abstrato
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ém
editar- O teorema de Lindström
- Instituição (ciência da computação)
- Modelo institucional e teoria
Notas
editar- ↑ Institution-independent model theory by Răzvan Diaconescu 2008 ISBN 3-7643-8707-6 page 3
- ↑ Handbook of mathematical logic by Jon Barwise 1989 ISBN 0-444-86388-5 page 45
- ↑ Jean-Yves Béziau Logica universalis: towards a general theory of logic 2005 ISBN 978-3-7643-7259-0 pages 20–25
- ↑ J. Barwise, 1974 Axioms for abstract model theory, Annals of Math.
Ler mais
editar- Jon Barwise; Solomon Feferman (1985). Model-theoretic logics. [S.l.]: Springer-Verlag. ISBN 978-0-387-90936-3
