Normalização e normalização forte para a logica classica de primeira ordem

AUTOR(ES)

Cosme Damião Bastos Massi

DATA DE PUBLICAÇÃO

1989

RESUMO

Não informado

ASSUNTO(S)

filosofia logica

Documentos Relacionados

• Provas de normalização para a logica classica
• Problemas de uma semantica para a logica intuicionista de primeira ordem
• Normalização forte via ordinal natural
• Logica condicional forte
• FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES