Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics

Arnon Avron, Jonathan Ben-Naim, Beata Konikowska. Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics. Logica Universalis, 1(1):41-70, 2007. [doi]

Bibliographies