Return to Article Details Natural Deduction for Three-Valued Regular Logics Download Download PDF