Aspectos da teoria de funções modais

Aspectos da teoria de funções modais

Apresentamos alguns aspectos da teoria de funções modais, que é o correlato modal da teoria de funções de verdade. Enquanto as fórmulas da lógica proposicional clássica expressam funções de verdade, as fórmulas da lógica proposicional modal (S5) expressam funções modais. Generalizamos alguns dos...

Full description

Bibliographic Details
Main Author: Pedro Alonso Amaral Falcão
Other Authors: Rodrigo Bacellar da Costa e Silva
Language:Portuguese
Published: Universidade de São Paulo 2012
Subjects:
Completude funcional
Funções modais
Lógica proposicional modal (S5)
Functional completeness
Modal functions
Modal propositional logic (S5)
Online Access:http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/

Internet

http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/

Similar Items