Lógica abstracta

En lógica matemática , una lógica abstracta es un sistema formal que consta de una clase de oraciones y una relación de satisfacción con propiedades específicas relacionadas con ocurrencia, expansión, isomorfismo, renombramiento y cuantificación. ^{[ 1 ]}

Según la caracterización de Lindström , la lógica de primer orden es, salvo equivalencia, la única lógica abstracta que es numerablemente compacta y tiene número de Löwenheim ω. ^{[ 2 ]}

• Lógica algebraica abstracta – Aspecto de la lógica matemática 
• Teoría de modelos abstractos
• Número de Löwenheim : el número cardinal más pequeño para el cual se cumple un teorema de Löwenheim-Skolem débil descendente. 
• Teorema de Lindström – Teorema de lógica matemática 
• Lógica universal : Subcampo de la lógica que estudia las características comunes a todos los sistemas lógicos.