Complexity of translations from resolution to sequent calculus.

Giselle Reis Bruno Woltzenlogel Paleo

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases

sequent calculus
cut elimination
modal logic
high resolution
inference rules
computational complexity
general purpose
decision problems
linear logic
image segmentation