Buscar
Mostrando ítems 1-10 de 36
Sobre a lógica da verdade pragmática em cálculo de sequentes
(Universidade Estadual Paulista (Unesp), 2021-02-26)
O objetivo central desta pesquisa é desenvolver um método dedutivo alternativo para a Lógica da Verdade Pragmática (Logic of Pragmatic Truth - LPT) em cálculo de sequentes. Neste sentido, apresentaremos inicialmente o ...
Em direção aos N-Grafos intuicionistas
(Universidade Federal de Pernambuco, 2014)
Uma nova prova de corretude para os N-Grafos
(Universidade Federal de Pernambuco, 2015)
Implementação de conversão de provas ALC para o cálculo de sequentes
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2020)
Cálculos de múltipla conclusão para a lógica intuicionista sob uma perspectiva geométrica
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2018)
Aspectos computacionais do cálculo de estruturas
(Universidade Federal de Minas GeraisUFMG, 2008-04-04)
Logic is the science of correct inferences and a logical system is a tool to prove assertions in a certain logic in a correct way. There are many logical systems, and many ways of formalizing them, e.g., using natural ...