Semantic A-translations and Super-Consistency Entail Classical Cut Elimination.

Lisa Allali Olivier Hermant

Published in: LPAR (2013)

Keyphrases

cut elimination
sequent calculus
linear logic
natural language
inference rules
machine translation
sufficient conditions
semantic web
linear time temporal logic
high level
software engineering
simulated annealing
semantic network
natural deduction
proof theoretic