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]
No references recorded for this publication.
No citations of this publication recorded.