A lógica proposicional do 'quase sempre'
The propositional logic for ‘almost always’
| dc.contributor | Universidade Estadual Paulista (Unesp) | |
| dc.creator | Rodrigues, Angela Pereira [UNESP] | |
| dc.creator | Feitosa, Hércules de Araujo [UNESP] | |
| dc.date | 2016-03-02T12:59:29Z | |
| dc.date | 2016-03-02T12:59:29Z | |
| dc.date | 2012 | |
| dc.date.accessioned | 2023-09-12T08:38:38Z | |
| dc.date.available | 2023-09-12T08:38:38Z | |
| dc.identifier | http://revistas.pucsp.br/index.php/cognitio/article/view/7460 | |
| 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 | 0739734390426687 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/8784275 | |
| 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.description | Universidade Estadual Paulista Júlio de Mesquita Filho, Departamento de Matemática, Faculdade de Ciências de Bauru, Bauru, Av. Engenheiro Luiz Edmundo Carrijo Coube, 14-01, Câmpus Universitário, CEP 17033-360, SP, Brasil | |
| dc.description | Universidade Estadual Paulista Júlio de Mesquita Filho, Departamento de Matemática, Faculdade de Ciências de Bauru, Bauru, Av. Engenheiro Luiz Edmundo Carrijo Coube, 14-01, Câmpus Universitário, CEP 17033-360, SP, Brasil | |
| dc.format | 227-242 | |
| dc.language | por | |
| dc.relation | Cognitio-Estudos | |
| dc.rights | Acesso restrito | |
| dc.source | Currículo Lattes | |
| 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.title | The propositional logic for ‘almost always’ | |
| dc.type | Artigo |