A lógica proposicional do 'quase sempre'.
Keywords:
Lógica do ultrafiltro. Lógica proposicional do ‘quase sempre’. Álgebra do ‘quase sempre’.Abstract
Introduzimos, neste trabalho, uma lógica proposicional para tratar da noção de ‘quase sempre’. Fazemos isso através da inclusão de um novo operador na lógica proposicional clássica. Este novo operador captura as mesmas noções do quantificador introduzido na lógica do ultrafiltro de Sette, Carnielli e Veloso (1999).References
FEITOSA, H. A.; NASCIMENTO, M. C.; GRÁCIO, M. C. C. Algebraic elements for the notions of ‘many’. CLE e-Prints (Online), v. 9, n. 1, 2009a. Disponível em: <http://www.cle.unicamp.br>. Acesso em: 27 fev. 2009.
FEITOSA, H. A.; NASCIMENTO, M. C.; GRÁCIO, M. C. C. A propositional version of the logic of the plausible. In: Anais do V Simpósio Internacional Principia. Dutra, L. H. de A. e Mortari, C. A. (orgs.). Florianópolis: NEL/UFSC, p. 184–195, 2009b.
REITER, R. A logic for default reasoning. In: Artificial Intelligence. v. 13, p. 81-132, 1980.
SETTE, A. M., CARNIELLI, W. A., VELOSO, P. An alternative view of default reasoning and its logic. In: Pratica: Proofs, types and categories. HAUESLER, E. H., PEREIRA, L. C. (Eds.). Rio de Janeiro: PUC, 1999. p. 127-158.
