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 ...

The variety SH of semi-Heyting algebras was introduced by H. P. Sankappanavar (in: Proceedings of the 9th “Dr. Antonio A. R. Monteiro” Congress, Universidad Nacional del Sur, Bahía Blanca, 2008) [13] as an abstraction of ...

There is a quite intentional resemblance between the Cut Rule and Aristotle´s Syllogism. In this paper some deep connections between Sequent Calculus and Syllogistics will be investigated. Taking into consideration Alvarez ...

This paper extends Fitting’s epistemic interpretation of some Kleene logics to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting’s “cut-down” operator is discussed, leading ...

In proof theory, the cut-elimination theorem (or Hauptsatz, which means main result) is of paramount importance since it implies the consistency and the subformula property for the given system. This theorem states that ...