Buscar
Mostrando ítems 31-40 de 3110
Especificação de sistemas utilizando lógica linear com subexponencias
(Universidade Federal de Minas GeraisUFMG, 2010-11-17)
Logic programming is defined as the use of logic formulas representing programs and proof search of these formulas as the execution of the program (computation). This is an interesting paradigm because of the specifications' ...
On Product Logic with Truth-constants
(Oxford University Press, 2006-12)
Product Logic Π is an axiomatic extension of Hájek's Basic Fuzzy Logic BL coping with the 1-tautologies when the strong conjunction & and implication → are interpreted by the product of reals in [0, 1] and its residuum ...
A Graph-theoretic Account of Logics
(Oxford Univ PressOxfordInglaterra, 2009)
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 ...
La lógica argumentativa y proposicional en el proceso de construcción de argumentos científico-filosóficos
(2016-07)
En este artículo se presenta un análisis epistemológico de las contribuciones de la lógica argumentativa y la lógica proposicional, basado en estructuras proposicionales que componen los argumentos lógicos, como modelos ...