Negation-free and contradiction-free proof of the Steiner-Lehmus theorem

DOI10.1215/00294527-2017-0019MaRDI QIDQ1704083zbMATH OpenOpenAlexFDO

Authors Victor V. Pambuccian

Publication date 8 March 2018

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1504252824

zbMATH Keywords

sequent calculusSteiner-Lehmus theoremabsolute geometrydirect proofindirect proof

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Structure of proofs (03F07) Absolute planes in metric geometry (51F05)

Recommendations

• A direct proof of the Steiner-Lehmus theorem
• scientific article; zbMATH DE number 5539290
• Direct and indirect methods of proof. The Lehmus-Steiner theorem
• A very short trigonometric proof of the Steiner-Lehmus theorem
• Is there a direct geometric proof of the Steiner-Lehmus theorem?

Cites work

• scientific article; zbMATH DE number 5917498 (Why is no real title available?)
• scientific article; zbMATH DE number 3816479 (Why is no real title available?)
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• scientific article; zbMATH DE number 3558904 (Why is no real title available?)
• scientific article; zbMATH DE number 1330526 (Why is no real title available?)
• scientific article; zbMATH DE number 481931 (Why is no real title available?)
• scientific article; zbMATH DE number 1932164 (Why is no real title available?)
• scientific article; zbMATH DE number 3401716 (Why is no real title available?)
• scientific article; zbMATH DE number 3111481 (Why is no real title available?)
• A common axiom set for classical and intuitionistic plane geometry
• A constructive version of Tarski's geometry
• A further simplification of Tarski's axioms of geometry
• An Intuitionistic Axiomatisation of Real Closed Fields
• Constructive geometry
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Cut Elimination in the Presence of Axioms
• Ebenen mit Kongruenz
• Orthogonality as single primitive notion for metric planes
• Other Versions of the Steiner-Lehmus Theorem
• Proof Analysis
• Propositions in Prepositional Logic Provable Only by Indirect Proofs
• Some topologic-geometrical properties of external bisectors of a triangle
• Structural proof theory. With an appendix by Aarne Ranta
• The Steiner-Lehmus theorem and ``triangles with congruent medians are isosceles hold in weak geometries

Cited in

(5)

• A direct proof of the Steiner-Lehmus theorem
• Is there a direct geometric proof of the Steiner-Lehmus theorem?
• Prolegomena to any theory of proof simplicity
• Direct and indirect methods of proof. The Lehmus-Steiner theorem
• A theory of duality in Euclidean geometry

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Negation-free and contradiction-free proof of the Steiner-Lehmus theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1704083)