ISSN 1519-9681

ARTICLES
EDITORIAL BOARD
RULES AND INSTRUCTIONS
SITES POINTING TO CLE e-PRINTS

Articles
Vol. 14(1), 2014

..
.


Vol. 15(5), 2015
A Logic for evidence and truth
Walter Carnielli (1) and Abilio Rodrigues (2)

(1) CLE and Department of Philosophy - State University of Campinas
(2) Department of Philosophy, Federal University of Minas Gerais


Date Posted: October 21, 2015

vol. 15, n. 5, 2015

   
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.



|   Home   | 2014  |  2013 2012  |  2011   |   2010   |   2009   |   2008   |   2007   |    2005   |   2004   |   2003   |   2002   |   2001   |

© 2001-2015 - Centre for Logic, Epistemology and the History of Science – CLE