Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference

Paolo Gentilini. Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference. Electronic Notes in Theoretical Computer Science, 169:73-86, 2007. [doi]

Abstract

Abstract is missing.