Buscar
Mostrando ítems 31-40 de 51
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 ...
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 o calculo diferencial paraconsistente de da Costa
([s.n.], 2004)