Exportar registro bibliográfico

Aspectos da teoria de funções modais (2012)

  • Authors:
  • Autor USP: FALCãO, PEDRO ALONSO AMARAL - FFLCH
  • Unidade: FFLCH
  • Sigla do Departamento: FLF
  • Assunto: LÓGICA
  • Keywords: Completude funcional; Funções modais; Functional completeness; Lógica proposicional modal (S5); Modal functions; Modal propositional logic (S5)
  • Language: Português
  • Abstract: 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 teoremas da teoria de funções de verdade para o caso modal; em particular, exibimos provas da completude funcional de alguns conjuntos de funções modais e definimos uma (nova) noção de reduto vero-funcional de funções modais, bem como a composição de funções modais em termos destes redutos
  • Imprenta:
  • Data da defesa: 10.12.2012
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FALCÃO, Pedro Alonso Amaral; SILVA, Rodrigo Bacellar da Costa e. Aspectos da teoria de funções modais. 2012.Universidade de São Paulo, São Paulo, 2012. Disponível em: < http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/ >.
    • APA

      Falcão, P. A. A., & Silva, R. B. da C. e. (2012). Aspectos da teoria de funções modais. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/
    • NLM

      Falcão PAA, Silva RB da C e. Aspectos da teoria de funções modais [Internet]. 2012 ;Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/
    • Vancouver

      Falcão PAA, Silva RB da C e. Aspectos da teoria de funções modais [Internet]. 2012 ;Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2020