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]

Authors

Arnon Avron

This author has not been identified. Look up 'Arnon Avron' in Google

Jonathan Ben-Naim

This author has not been identified. Look up 'Jonathan Ben-Naim' in Google

Beata Konikowska

This author has not been identified. Look up 'Beata Konikowska' in Google