Lógica da Suficiência
Lógica da Suficiência, Lógica Modal, Lógica, Mundos Possíveis, Epistemologia
O objetivo geral desse trabalho é desenvolver uma lógica da Suficiência tomando como base a lógica modal, (Carnielli e Pizzi, 2008), (Bull e Segenberg, 1984) ou (Hughes e Cresswell, 1996), e a classe de álgebras da suficiência, (Düntsch e Orlowska, 1999). Utilizando para isso os teoremas da representação do Stone (1936) e os da semântica algébrica I e II do Lemmon (1966), para lógica clássica e para lógica modal, respectivamente.
Os objetivos especı́ficos são os seguintes:
1. Definir o dual do operador suficiente com o necessário, assim como já é definido na lógica modal entre o necessário e possı́vel;
2. Estruturar e exibir os esquemas da lógica modal com esse novo operador.