Buscar
Mostrando ítems 1-10 de 116
Tableaux e indução na lógica do plausível
(Universidade Estadual Paulista (Unesp), 2005-09-27)
Em 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a ...
Tableaux e indução na lógica do plausível
(Universidade Estadual Paulista (Unesp), 2005-09-27)
Em 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a ...
A indução e a demarcação nas epistemologias de Karl Popper e de Rudolf Carnap
(Florianópolis, SC, 2012)
Tableaux e indução na lógica do plausível
(Universidade Estadual Paulista (UNESP), 2014)
Um modelo algébrico do quantificador da ubiquidade
(Universidade Estadual Paulista (Unesp), 2014)
This research is inserted in the context of Philosophy of Logic, with emphasis on aspects of quantifiers and their models or interpretations. The aim of this paper is a deepening on notions of quantification in the environment ...
Um modelo algébrico do quantificador da ubiquidade
(Universidade Estadual Paulista (UNESP), 2015)
Um modelo algébrico do quantificador da ubiquidade
(Universidade Estadual Paulista (Unesp), 2015)
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 ...