Propositional Proofs via Combinatorial Geometry and the Search for Symmetry (1999)
by
Alessandra Carbone
,
Stephen Semmes
| Venue: | IN ANNALS OF THE KURT GODEL SOCIETY, INSTITUTE OF COMPUTER SCIENCE AS CR |
BibTeX
@INPROCEEDINGS{Carbone99propositionalproofs,
author = {Alessandra Carbone and Stephen Semmes},
title = {Propositional Proofs via Combinatorial Geometry and the Search for Symmetry},
booktitle = {IN ANNALS OF THE KURT GODEL SOCIETY, INSTITUTE OF COMPUTER SCIENCE AS CR},
year = {1999},
publisher = {Society, Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper is motivated by questions of complexity and combinatorics of proofs in the sequent calculus. We shall pay particular attention to the role that symmetry plays in these questions.. We want to
