On Poly-logistic Natural-deduction for Finitely-valued Propositional Logics

Nissim Francez, Michael Kaminski. On Poly-logistic Natural-deduction for Finitely-valued Propositional Logics. FLAP, 6(2):255-290, 2019. [doi]

Abstract

Abstract is missing.