A Logic for evidence and truth

Authors

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.

Downloads

Published

2015-10-21

Issue

Section

Artigos