A Logic for evidence and truth

  • Walter Carnielli
  • Abílio Rodrigues

Abstract

This paper presents a paraconsistent and paracomplete natural deduction system, called the Logic of Evidence and Truth (LETJ). LETJ is a Logic of Formal Inconsistency and Undeterminedness (LFIU ) that is able to recover classical logic when appropriate. LETJ is anti-dialetheist in the sense that its consequence relation is trivial in the presence of any true contradictions.

 

Downloads

Download data is not yet available.
Published
2015-10-21
Section
Artigos