Federico Marulanda Rey Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness. 2007 conf/lanmr/2007 LA-NMR http://www.ceur-ws.org/Vol-286/LANMR07_02.pdf db/conf/lanmr/lanmr2007.html#Rey07