Login / Signup
Semantic A-translation and Super-consistency entail Classical Cut Elimination.
Lisa Allali
Olivier Hermant
Published in:
CoRR (2014)
Keyphrases
</>
cut elimination
linear logic
sequent calculus
semantic web
inference rules
wide class
high level
dimensionality reduction
machine translation
semantic network
natural deduction
expert systems
random variables
euclidean space
proof theoretic