A sequent calculus for limit computable mathematics.

Stefano Berardi Yoriyuki Yamagata

Published in: Ann. Pure Appl. Log. (2008)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
computer science
wide class
linear time temporal logic
logical framework
image segmentation
natural language
general purpose
belief functions
classical logic