A lógica proposicional do 'quase sempre'

Rodrigues, Angela Pereira; Feitosa, Hércules de Araujo

dc.contributor	Universidade Estadual Paulista (UNESP)
dc.creator	Rodrigues, Angela Pereira
dc.creator	Feitosa, Hércules de Araujo
dc.date	2016-03-02T12:59:29Z
dc.date	2016-10-25T21:31:44Z
dc.date	2016-03-02T12:59:29Z
dc.date	2016-10-25T21:31:44Z
dc.date	2012
dc.date.accessioned	2017-04-06T10:00:49Z
dc.date.available	2017-04-06T10:00:49Z
dc.identifier	Cognitio-Estudos, v. 9, n. 2, p. 227-242, 2012.
dc.identifier	1809-8428
dc.identifier	http://hdl.handle.net/11449/135037
dc.identifier	http://acervodigital.unesp.br/handle/11449/135037
dc.identifier	0739734390426687
dc.identifier	http://revistas.pucsp.br/index.php/cognitio/article/view/7460
dc.identifier.uri	http://repositorioslatinoamericanos.uchile.cl/handle/2250/945548
dc.description	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).
dc.description	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).
dc.description	Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
dc.language	por
dc.relation	Cognitio-Estudos
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject	Ultrafilter logic
dc.subject	Almost always propositional logic
dc.subject	Almost always algebra
dc.subject	Lógica do ultrafiltro
dc.subject	Lógica proposicional do quase sempre
dc.subject	Álgebra do quase sempre
dc.title	A lógica proposicional do 'quase sempre'
dc.type	Otro

Este ítem pertenece a la siguiente institución

Universidade Paulista Júlio de Mesquita Filho (Brasil)