Consistency Without Cut Elimination
Logic
2007-05-23 v1
Abstract
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).
Keywords
Cite
@article{arxiv.math/0210387,
title = {Consistency Without Cut Elimination},
author = {Kai Bruennler and Alessio Guglielmi},
journal= {arXiv preprint arXiv:math/0210387},
year = {2007}
}
Comments
Home page of the Calculus of Structures: <http://www.ki.inf.tu-dresden.de/~guglielm/Research>