Arnon Avron, Beata Konikowska, Anna Zamansky. Cut-free sequent calculi for C-systems with generalized finite-valued semantics. Journal of Logic and Computation, 23(3):517-540, 2013. [doi]
@article{AvronKZ13, title = {Cut-free sequent calculi for C-systems with generalized finite-valued semantics}, author = {Arnon Avron and Beata Konikowska and Anna Zamansky}, year = {2013}, doi = {10.1093/logcom/exs039}, url = {http://dx.doi.org/10.1093/logcom/exs039}, researchr = {https://researchr.org/publication/AvronKZ13}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {23}, number = {3}, pages = {517-540}, }