Buscar
Mostrando ítems 1-9 de 9
A lógica proposicional do 'quase sempre'
(2012)
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 ...
Sobre quantificadores: uma formalização do quantificador 'quase sempre'
(Universidade Estadual Paulista (Unesp), 2012-02-24)
O objetivo deste trabalho é, em um primeiro momento, fazer um estudo detalhado sobre quantificadores, os quais são estudados desde Aristóteles [384-322 a. C.]. Apresentamos algumas concepções sobre quantificadores ...
Sobre quantificadores: uma formalização do quantificador 'quase sempre'
(Universidade Estadual Paulista (Unesp), 2012-02-24)
O objetivo deste trabalho é, em um primeiro momento, fazer um estudo detalhado sobre quantificadores, os quais são estudados desde Aristóteles [384-322 a. C.]. Apresentamos algumas concepções sobre quantificadores ...
Sobre quantificadores: uma formalização do quantificador 'quase sempre'
(Universidade Estadual Paulista (UNESP), 2014)
Um modelo algébrico para a lógica do muito
(Universidade Estadual Paulista (Unesp), 2013-10-09)
Esta dissertação trata, em um primeiro momento, de um estudo sobre quantificadores com seus aspectos históricos e algumas concepções sobre quantificadores generalizados, a saber, a concepção de Mostowski (1957), criada com ...
Um modelo algébrico para a lógica do muito
(Universidade Estadual Paulista (UNESP), 2014)
Um modelo algébrico para a lógica do muito
(Universidade Estadual Paulista (Unesp), 2013-10-09)
Esta dissertação trata, em um primeiro momento, de um estudo sobre quantificadores com seus aspectos históricos e algumas concepções sobre quantificadores generalizados, a saber, a concepção de Mostowski (1957), criada com ...