A lógica proposicional do 'quase sempre'.

Autores

  • Angela Pereira Rodrigues Universidade Estadual Paulista "Júlio de Mesquita Filho" - UNESP
  • Hércules de Araujo Feitosa Universidade Estadual Paulista "Júlio de Mesquita Filho" - UNESP

Palavras-chave:

Lógica do ultrafiltro. Lógica proposicional do ‘quase sempre’. Álgebra do ‘quase sempre’.

Resumo

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).

Biografia do Autor

Angela Pereira Rodrigues, Universidade Estadual Paulista "Júlio de Mesquita Filho" - UNESP

Tem experiência na área de Matemática, com ênfase em Lógica Matemática.

Hércules de Araujo Feitosa, Universidade Estadual Paulista "Júlio de Mesquita Filho" - UNESP

Departamento de Matemática. Área: Lógica e Fundamentos da Matemática.

Referências

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.

Downloads

Publicado

2012-12-20

Edição

v. 9 n. 2 (2012)

Seção

Artigos