Return to Article Details Natural Deduction for Four-Valued both Regular and Monotonic Logics Download Download PDF