- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Axiomatizing geometric constructions
Journal of Applied Logic 6 (1):24-46 (2008)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Axiomatizing hybrid logic using modal logic.Ian Hodkinson & Louis Paternault - 2010 - Journal of Applied Logic 8 (4):386-396.
Axiomatizing AECs and applications.Samson Leung - 2023 - Annals of Pure and Applied Logic 174 (5):103248.
Axiomatizing first-order consequences in independence logic.Miika Hannula - 2015 - Annals of Pure and Applied Logic 166 (1):61-91.
Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL R.Yan Zhang, Zhaohui Zhu, Jinjin Zhang & Yong Zhou - 2015 - Journal of Applied Logic 13 (4):654-675.
Diversity, Simplicity and Selection of Geometric Constructions: The Case of the n-Section of a Straight Line.Dominique Raynaud - 2019 - Nexus Network Journal 21:405-424.
A geometric principle of indifference.Lieven Decock, Igor Douven & Marta Sznajder - 2016 - Journal of Applied Logic 19 (2):54-70.
On the geometric equivalence of algebras.M. Shahryari - 2024 - Annals of Pure and Applied Logic 175 (2):103386.
A geometric consequence of residual smallness.Keith A. Kearnes, Emil W. Kiss & Matthew A. Valeriote - 1999 - Annals of Pure and Applied Logic 99 (1-3):137-169.
Analytics
Added to PP
2016-06-30
Downloads
32 (#683,045)
6 months
8 (#533,737)
2016-06-30
Downloads
32 (#683,045)
6 months
8 (#533,737)
Historical graph of downloads
Citations of this work
Uses of construction in problems and theorems in Euclid’s Elements I–VI.Nathan Sidoli - 2018 - Archive for History of Exact Sciences 72 (4):403-452.
A Strict Finite Foundation for Geometric Constructions.John R. Burke - 2022 - Axiomathes 32 (2):499-527.
References found in this work
Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
Properties Preserved under Definitional Equivalence and Interpretations.Charles C. Pinter - 1978 - Mathematical Logic Quarterly 24 (31-36):481-488.
The axioms of constructive geometry.Jan von Plato - 1995 - Annals of Pure and Applied Logic 76 (2):169-200.
Construction as Existence Proof in Ancient Geometry.Wilbur R. Knorr - 1983 - Ancient Philosophy 3 (2):125-148.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-cvrck dc2