Towards a Semantic Characterization of Cut-Elimination.

Agata Ciabattoni Kazushige Terui

Published in: Stud Logica (2006)

Keyphrases

cut elimination
linear logic
sequent calculus
semantic web
natural deduction
wide class
high level
natural language
graphical models
distance measure