Back to Search Start Over

Negation-Free and Contradiction-Free Proof of the Steiner–Lehmus Theorem

Authors :
Victor Pambuccian
Source :
Notre Dame J. Formal Logic 59, no. 1 (2018), 75-90
Publication Year :
2018
Publisher :
Duke University Press, 2018.

Abstract

By rephrasing quantifier-free axioms as rules of derivation in sequent calculus, we show that the generalized Steiner–Lehmus theorem admits a direct proof in classical logic. This provides a partial answer to a question raised by Sylvester in 1852. We also present some comments on possible intuitionistic approaches.

Details

ISSN :
00294527
Volume :
59
Database :
OpenAIRE
Journal :
Notre Dame Journal of Formal Logic
Accession number :
edsair.doi.dedup.....ff92e6e0516af72c4530d8054e0374a1