Aspectos da teoria de funções modais [thesis]

Pedro Alonso Amaral Falcão
Aspectos da teoria de funções modais São Paulo 2012 Agradecimentos Ao meu orientador, o Prof. Dr. Rodrigo Bacellar (também conhecido como Roderick Batchelor), pela supervisão cuidadosa da pesquisa e pelo companheirismo. À professora Dra. Andréa Loparic por ter me apresentado a essa bela ciência, a Lógica; e por ter me orientado nos primeiros anos de pesquisa. A todos os colegas do seminário de lógica, em especial: Luciano Vicente e René Pierre Mazak, pelo apoio e incentivo que recebi ao começar
more » ... a frequentar os seminários; e Tomás Troster, por compartilhar do entusiasmo que tive ao ser apresentado à teoria das funções modais e pelas discussões que tivemos desde então. A todos os amigos que tiveram a curiosidade de perguntar e a paciência de escutar sobre o que é a minha pesquisa. Ao Conselho Nacional de Desenvolvimento Científico e Tecnológico, pelo auxílio concedido através da bolsa de mestrado. À Emília. Abstract FALCÃO, P.A.A. Aspects of the theory of modal functions. 2012. 116 f. Thesis (Master We present some aspects of the theory of modal functions, which is the modal correlate of the theory of truth-functions. While the formulas of classical propositional logic express truth-functions, the formulas of modal propositional logic (S5) express modal functions. We generalize some theorems of the theory of truth-functions to the modal case; in particular, we show the functional completeness of some sets of modal functions and define a (new) notion of 'truth-functional reduct' of modal functions, as well as the composition of modal functions in terms of such reducts.
doi:10.11606/d.8.2012.tde-11042013-104549 fatcat:mdzuaap6wnbnvmtie2iyvljq4e