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

DOI10.1215/00294527-2017-0019zbMATH Open1455.03076OpenAlexW2752004485MaRDI QIDQ1704083FDOQ1704083

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

Recommendations

• A direct proof of the Steiner-Lehmus theorem
• scientific article
• 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?

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)

Cites Work

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

Cited In (5)

• Direct and indirect methods of proof. The Lehmus-Steiner theorem
• A theory of duality in Euclidean geometry
• 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

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)