Atomic Cut Elimination for Classical Logic (2002)
Cached
Download Links
- [www.wv.inf.tu-dresden.de]
- [www.iam.unibe.ch]
- DBLP
Other Repositories/Bibliography
by
Kai Brünnler
| Venue: | of Lecture Notes in Computer Science |
| Citations: | 28 - 5 self |
BibTeX
@INPROCEEDINGS{Brünnler02atomiccut,
author = {Kai Brünnler},
title = {Atomic Cut Elimination for Classical Logic},
booktitle = {of Lecture Notes in Computer Science},
year = {2002},
pages = {86--97},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explicit cut rule, which is admissible.
Citations
| 41 | Brünnler and Alwen Fernanto Tiu. A local system for classical logic - Kai - 2001 |
| 4 | Locality for classical logic - Brünnler - 2003 |
