Cut-free sequent calculi for C-systems with generalized finite-valued semantics.

Published in: J. Log. Comput. (2013)

Keyphrases