Buscar
Mostrando ítems 1-4 de 4
O método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1
(Sociedade Brasileira de Matemática Aplicada e Computacional - SBMAC, 2021-09-06)
Sette and Carnielli introduced the axiomatic system I1 in 1995, which presents an intuitionistic character, in the same regard of the logical system developed by Arend Heyting (1898-1980), that is, as a logic underlying ...
A lógica da verdade pragmática em um sistema de tableaux
(Universidade Estadual Paulista (Unesp), 2018-02-23)
O professor Newton C. A. da Costa, notável lógico brasileiro, e colaboradores introduziram a noção de quase-verdade no contexto das ciências empíricas, onde há incompletude do conhecimento. Tal abordagem é considerada uma ...
Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompleta
(2020)
Poderia haver um único sistema de lógica que permita trabalharmos simultaneamente com negações clássica, paraconsistente e paracompleta? Essas três negações foram separadamente estudadas em lógicas cujas negações levam ...