Consistency Without Cut Elimination

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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).
Home page of the Calculus of Structures: <http://www.ki.inf.tu-dresden.de/~guglielm/Research>

Keywords

Logic, 03F03; 03F05

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/65424

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0210387
 http://arxiv.org/abs/math/0210387

Collections

arXiv