Publicação: A lógica proposicional do 'quase sempre'
Nenhuma Miniatura disponível
Data
2012
Orientador
Coorientador
Pós-graduação
Curso de graduação
Título da Revista
ISSN da Revista
Título de Volume
Editor
Tipo
Artigo
Direito de acesso
Acesso restrito
Resumo
Resumo (inglês)
We introduce, in this paper, a propositional logic to deal with de notion of ‘almost always’. We do this by adding a new operator in classical propositional logic. This new operator captures the same notions of the quantifier introduced in the Ultrafilter logic by Sette, Carnielli and Veloso (1999).
Resumo (português)
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).
Descrição
Idioma
Português
Como citar
Cognitio-Estudos, v. 9, n. 2, p. 227-242, 2012.
