Mostrando ítems 1-10 de 310
A lógica do muito em um sistema de tablôs
(Universidade Estadual Paulista (Unesp), 2008-07-14)
Dentre as diversas lógicas não-clássicas, que complementam o cálculo de predicados de primeira ordem, destacamos as lógicas moduladas. As lógicas moduladas são caracterizadas pela inclusão de um novo quantificador, chamado ...
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 ...
Uma lógica do poucos
(Universidade Estadual Paulista (Unesp), 2011-09-09)
Em 1999, Grácio introduziu uma família de lógicas não-clássicas ─ as lógicas moduladas ─, cuja função é formalizar sentenças que expressam quantificações da linguagem natural, que não podem ser definidas em função dos ...