Minimal Classical Logic and Control Operators (2003)
by
Zena Ariola
,
Hugo Herbelin
| Venue: | In ICALP: Annual International Colloquium on Automata, Languages and Programming, volume 2719 of LNCS |
| Citations: | 25 - 4 self |
BibTeX
@INPROCEEDINGS{Ariola03minimalclassical,
author = {Zena Ariola and Hugo Herbelin},
title = {Minimal Classical Logic and Control Operators},
booktitle = {In ICALP: Annual International Colloquium on Automata, Languages and Programming, volume 2719 of LNCS},
year = {2003},
pages = {871--885},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We give an analysis of various classical axioms and characterize a notion of minimal classical logic that enforces Peirce's law without enforcing Ex Falso Quodlibet. We show that a \natural" implementation of this logic is Parigot's classical natural deduction.
