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]
@article{AvronBK07,
title = {Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics},
author = {Arnon Avron and Jonathan Ben-Naim and Beata Konikowska},
year = {2007},
doi = {10.1007/s11787-006-0003-6},
url = {http://dx.doi.org/10.1007/s11787-006-0003-6},
researchr = {https://researchr.org/publication/AvronBK07},
cites = {0},
citedby = {0},
journal = {Logica Universalis},
volume = {1},
number = {1},
pages = {41-70},
}