{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T21:06:42Z","timestamp":1784063202167,"version":"3.55.0"},"reference-count":32,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2018,1,1]]},"DOI":"10.1215\/00294527-2017-0019","type":"journal-article","created":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T08:01:21Z","timestamp":1504252881000},"source":"Crossref","is-referenced-by-count":10,"title":["Negation-Free and Contradiction-Free Proof of the Steiner\u2013Lehmus Theorem"],"prefix":"10.1215","volume":"59","author":[{"given":"Victor","family":"Pambuccian","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"73","reference":[{"key":"6","unstructured":"[6] Beeson, M., \u201cBrouwer and Euclid,\u201d <i>Indagationes Mathematicae<\/i>, published online 18 July 2017. <a href=\"http:\/\/dx.doi.org\/10.1016\/j.indag.2017.06.002\">http:\/\/dx.doi.org\/10.1016\/j.indag.2017.06.002<\/a>."},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Ekman, J., \u201cPropositions in propositional logic provable only by indirect proofs,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 44 (1998), pp. 69\u201391.","DOI":"10.1002\/malq.19980440105"},{"key":"1","unstructured":"[1] Abu-Saymeh, S., and M. Hajja, \u201cMore on the Steiner-Lehmus theorem,\u201d <i>Journal for Geometry and Graphics<\/i>, vol. 14 (2010), pp. 127\u201333."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Adamson, J., \u201cOn a proposed test of the necessity of indirect proof in geometrical demonstrations, with remarks on methods of demonstration,\u201d <i>Philosophical Magazine<\/i>, vol. 5 (1853), pp. 297\u201399, 332\u201338, 405\u201310.","DOI":"10.1080\/14786445308647248"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Bachmann, F., \u201cAufbau der Geometrie aus dem Spiegelungsbegriff,\u201d vol. 96 of <i>Grundlehren der Mathematischen Wissenschaften<\/i>, Springer, Berlin, 1973.","DOI":"10.1007\/978-3-642-65537-1"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Beeson, M., \u201cConstructive geometry,\u201d pp. 19\u201384 in <i>Proceedings of the Tenth Asian Logic Conference (Kobe, Japan, 2008)<\/i>, edited by T. Arai et al., World Scientific, Hackensack, N.J., 2010.","DOI":"10.1142\/9789814293020_0002"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Beeson, M., \u201cA constructive version of Tarski\u2019s geometry,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 166 (2015), pp. 1199\u2013273.","DOI":"10.1016\/j.apal.2015.07.006"},{"key":"7","unstructured":"[7] Brouwer, L. E. J., \u201cContradictoriteit der elementaire meetkunde,\u201d <i>Indagationes Mathematicae<\/i>, vol. 52 (1949), pp. 89\u201390."},{"key":"8","unstructured":"[8] Descube, \u201cTh\u00e9or\u00e8me de g\u00e9om\u00e9trie,\u201d <i>Journal de Math\u00e9matiques \u00c9l\u00e9mentaires<\/i>, vol. 4 (1880), pp. 538\u201339."},{"key":"10","unstructured":"[10] Ekman, J., \u201cNormal proofs in set theory,\u201d Ph.D. dissertation, University of Gothenburg, Gothenburg, Sweden, 1994."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Hajja, M., \u201cOther versions of the Steiner-Lehmus theorem,\u201d <i>American Mathematical Monthly<\/i>, vol. 108 (2001), pp. 760\u201367.","DOI":"10.1080\/00029890.2001.11919810"},{"key":"12","unstructured":"[12] Henderson, A., \u201cThe Lehmus-Steiner-Terquem problem in global survey,\u201d <i>Scripta Mathematica<\/i>, vol. 21 (1955), pp. 223\u201332."},{"key":"13","unstructured":"[13] Hilbert, D., <i>Grundlagen der Geometrie<\/i>, Teubner Studienb\u00fccher Mathematik, B. G. Teubner, Stuttgart, 1977."},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Kharazishvili, A., \u201cSome topologic-geometrical properties of external bisectors of a triangle,\u201d <i>Georgian Mathematical Journal<\/i>, vol. 19 (2012), pp. 697\u2013704.","DOI":"10.1515\/gmj-2012-0035"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] Lombard, M., and R. Vesley, \u201cA common axiom set for classical and intuitionistic plane geometry,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 95 (1998), pp. 229\u201355.","DOI":"10.1016\/S0168-0072(98)00017-7"},{"key":"16","unstructured":"[16] Makarios, T. J. M., \u201cA further simplification of Tarski\u2019s axioms of geometry,\u201d <i>Note di Matematica<\/i>, vol. 33 (2013), pp. 123\u201332."},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Negri, S., \u201cContraction-free sequent calculi for geometric theories with an application to Barr\u2019s theorem,\u201d <i>Archive for Mathematical Logic<\/i>, vol. 42 (2003), pp. 389\u2013401.","DOI":"10.1007\/s001530100124"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] Negri, S., and J. von Plato, \u201cCut elimination in the presence of axioms,\u201d <i>Bulletin of Symbolic Logic<\/i>, vol. 4 (1998), pp. 418\u201335.","DOI":"10.2307\/420956"},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] Negri, S., and J. von Plato, <i>Structural Proof Theory<\/i>, with appendix \u201cAppendix C\u201d by A. Ranta, Cambridge University Press, Cambridge, 2001.","DOI":"10.1017\/CBO9780511527340"},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] Negri, S., and J. von Plato, <i>Proof Analysis: A Contribution to Hilbert\u2019s Last Problem<\/i>, Cambridge University Press, Cambridge, 2011.","DOI":"10.1017\/CBO9781139003513"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Orevkov, V. P., <i>Complexity of proofs and their transformations in axiomatic theories<\/i>, vol. 128 of <i>Translations of Mathematical Monographs<\/i>, American Mathematical Society, Providence, 1993.","DOI":"10.1090\/mmono\/128"},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] Palmgren, E., \u201cAn intuitionistic axiomatisation of real closed fields,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 48 (2002), pp. 297\u201399.","DOI":"10.1002\/1521-3870(200202)48:2<297::AID-MALQ297>3.0.CO;2-G"},{"key":"23","unstructured":"[23] Pambuccian, V., \u201cConstructive axiomatization of non-elliptic metric planes,\u201d <i>Bulletin of the Polish Academy of Sciences. Mathematics<\/i>, vol. 51 (2003), pp. 49\u201357."},{"key":"24","unstructured":"[24] Pambuccian, V., \u201cOrthogonality as single primitive notion for metric planes,\u201d <i>Beitr\u00e4ge zur Algebra und Geometrie<\/i>, vol. 48 (2007), pp. 399\u2013409."},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] Pambuccian, V., H. Struve, and R. Struve, \u201cThe Steiner-Lehmus theorem and \u2018triangles with congruent medians are isosceles\u2019 hold in weak geometries,\u201d <i>Beitr\u00e4ge zur Algebra und Geometrie<\/i>, vol. 57 (2016), pp. 483\u201397.","DOI":"10.1007\/s13366-015-0278-y"},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] Schwabh\u00e4user, W., W. Szmielew, and A. Tarski, <i>Metamathematische Methoden in der Geometrie<\/i>, Springer, Berlin, 1983.","DOI":"10.1007\/978-3-642-69418-9"},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] S\u00f6rensen, K., \u201cEbenen mit Kongruenz,\u201d <i>Journal of Geometry<\/i>, vol. 22 (1984), pp. 15\u201330.","DOI":"10.1007\/BF01230121"},{"key":"#cr-split#-28.1","doi-asserted-by":"crossref","unstructured":"[28] Sylvester, J. J., \"On a simple geometrical problem illustrating a conjectured principle in the theory of geometrical method,\" <i>Philosophical Magazine<\/i>, vol. 4 (1852), pp. 366-69","DOI":"10.1080\/14786445208647142"},{"key":"#cr-split#-28.2","unstructured":"also <i>The Collected Mathematical Papers of James Joseph Sylvester<\/i> Vol I (1837-1853), Cambridge University Press, Cambridge, 1904, pp. 392-95."},{"key":"29","unstructured":"[29] Szmielew, W., <i>From Affine to Euclidean Geometry: An Axiomatic Approach<\/i>, Reidel, Dordrecht-Boston, Mass.; PWN-Polish Scientific, Warsaw, 1983."},{"key":"30","unstructured":"[30] Tarry, G., \u201cSur un th\u00e9or\u00e8me ind\u00e9pendant du postulatum d\u2019Euclide,\u201d <i>Journal de Math\u00e9matiques \u00c9l\u00e9mentaires<\/i> (4), vol. 4 (1895), pp. 169\u201370."},{"key":"31","unstructured":"[31] van Yzeren, J., \u201cEquality of bisectors, an intriguing property,\u201d <i>Nieuw Archief voor Wiskunde<\/i> (4), vol. 15 (1997), pp. 63\u201371."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2017-0019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T12:59:50Z","timestamp":1750856390000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-59\/issue-1\/Negation-Free-and-Contradiction-Free-Proof-of-the-SteinerLehmus-Theorem\/10.1215\/00294527-2017-0019.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,1]]},"references-count":32,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2018,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2017-0019","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2018,1,1]]}}}