A contribution to automated-oriented reasoning about permutability of sequent calculi rules.

Tatjana Lutovac James Harland

Published in: Comput. Sci. Inf. Syst. (2013)

Keyphrases

sequent calculi
cut elimination
classification rules
association rules
linear logic
artificial intelligence
conditional logic
graph cuts
theorem proving