Banca de QUALIFICAÇÃO: FELIPE HENRIQUE ALVES MAGALHAES

Logic of Sufficiency

Philosophy, Logic of Sufficiency, Modal Logic, Possible Worlds, Epistemology. 

The general objective of this work is to develop a Sufficiency logic based on modal logic, (Carnielli and Pizzi, 2008), (Bull and Segenberg, 1984) or (Hughes and Cresswell, 1996), and the class of sufficiency algebras, (Düntsch and Orlowska, 1999). Using for this purpose Stone's (1936) representation theorems and Lemmon's (1966) algebraic semantics I and II, for classical logic and modal logic, respectively.

The specific objectives are as follows:

1. Define the dual of the sufficient operator with the necessary, as is already defined in modal logic between the necessary and possible;

2. Structure and display the modal logic schemes with this new operator.