Fuerza (lógica matemática)

La fuerza relativa de dos sistemas de lógica formal se puede definir mediante la teoría de modelos . Específicamente, se dice que una lógica es tan fuerte como una lógica si cada clase elemental en es una clase elemental en . ^[1]${\displaystyle \alpha }$${\displaystyle \beta }$${\displaystyle \beta }$${\displaystyle \alpha }$

Ver también

• Lógica abstracta
• Teorema de Lindström

Referencias

1. Heinz-Dieter Ebbinghaus Lógicas extendidas: el marco general en KJ Barwise y S. Feferman , editores, Lógicas teóricas de modelos , 1985 ISBN  0-387-90936-2 página 43

Este artículo relacionado con la lógica matemática es un fragmento . Puedes ayudar a Wikipedia expandiéndolo .

• v
• t
• mi