Lógicas abstratas e o primeiro teorema de Lindström

Lógicas abstratas e o primeiro teorema de Lindström

Edgar Luis Bezerra de Almeida

DISSERTAÇÃO

Português

T/UNICAMP AL64L

[Abstract logics and the first Lindström's theorem ]

Campinas, SP : [s.n.], 2013.

100 p. : il.

Orientador: Itala Maria Loffredo D'Ottaviano

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas

Resumo: Esta Dissertação apresenta uma definição de lógica abstrata e caracteriza alguns sistemas lógicos bastante conhecidos na literatura como casos particulares desta. Em especial, mostramos que a lógica de primeira ordem, lógica de segunda ordem, lógica com o operador Q1 de Mostowski e a lógica...

Abstract: This thesis presents the definition of abstract logic and features some quite logical systems presented in the literature as particular cases of this. In particular, we show that first-order logic, second-order logic, the logic with Mostowski's operator Q1 and the infinitary logic L!1! are...

Lógicas abstratas e o primeiro teorema de Lindström

Edgar Luis Bezerra de Almeida


										

Lógicas abstratas e o primeiro teorema de Lindström

Edgar Luis Bezerra de Almeida

    Exemplares