Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
type: Item
instance of: scholarly article
title: Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
zbMATH Open document ID: 1455.03076
DOI: 10.1215/00294527-2017-0019
author: Victor V. Pambuccian
published in: Notre Dame Journal of Formal Logic
publication date: 2018-03-08T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ndjfl/1504252824
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 51F05
zbMATH DE Number: 6848192
zbMATH Keywords: Steiner-Lehmus theorem
zbMATH Keywords: direct proof
zbMATH Keywords: indirect proof
zbMATH Keywords: sequent calculus
zbMATH Keywords: absolute geometry
describes a project that uses: Pesca
MaRDI profile type: Publication
OpenAlex ID: W2752004485
cites work: Q3012330
cites work: Q5667677
cites work: Q3567843
cites work: A constructive version of Tarski's geometry
cites work: Propositions in Prepositional Logic Provable Only by Indirect Proofs
cites work: Other Versions of the Steiner-Lehmus Theorem
cites work: Q5850092
cites work: Q4130944
cites work: Some topologic-geometrical properties of external bisectors of a triangle
cites work: A common axiom set for classical and intuitionistic plane geometry
cites work: A further simplification of Tarski's axioms of geometry
cites work: Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
cites work: Cut Elimination in the Presence of Axioms
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Proof Analysis
cites work: Q4274311
cites work: An Intuitionistic Axiomatisation of Real Closed Fields
cites work: Q4709437
cites work: Orthogonality as single primitive notion for metric planes
cites work: The Steiner-Lehmus theorem and ``triangles with congruent medians are isosceles'' hold in weak geometries
cites work: Q3678266
cites work: Ebenen mit Kongruenz
cites work: Q3663940
cites work: Q4261107
description: scientific article; zbMATH DE number 6848192