Return to Article Details Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics Download Download PDF