Consistency Without Cut Elimination

Details Consistency Without Cut Elimination Consistency Without Cut Elimination

2002-10-24

arxiv.org/abs/math/0210387v1

Mathematics

Logic

Home page of the Calculus of Structures: <http://www.ki.inf.tu-dresden.de/~guglielm/Research>

Scientific paper

In this note we will show how to get consistency for first order classical logic, in a purely syntactic way, without going through cut elimination. The procedure is very simple and it uses the calculus of structures in an essential way. It also shows how finitaryness (in the sense of finite choice of premises for each rule) is actually a triviality (contrarily to what one would guess from textbooks).

Affiliated with

Also associated with

No associations

Rating

Consistency Without Cut Elimination 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 Consistency Without Cut Elimination, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Consistency Without Cut Elimination will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-163641