Return to Article Details Consistency and Decidability in Some Paraconsistent Arithmetics Download Download PDF