Computer Science – Logic in Computer Science
Scientific paper
2012-04-23
Computer Science
Logic in Computer Science
Scientific paper
In this paper, we extend the sequent calculus LKF into a calculus LK(T),
allowing calls to a decision procedure. We prove cut-elimination of LK(T).
Farooque Mahfuza
Lengrand Stéphane
No associations
LandOfFree
A sequent calculus with procedure calls does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A sequent calculus with procedure calls, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A sequent calculus with procedure calls will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-445026