The model of geometry in logic and phenomenology
Philosophia Scientiae 1 (2):1-14 (1996)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Ternary operations as primitive notions for plane geometry II.Victor Pambuccian - 1992 - Mathematical Logic Quarterly 38 (1):345-348.
Quantifier elimination for elementary geometry and elementary affine geometry.Rafael Grimson, Bart Kuijpers & Walied Othman - 2012 - Mathematical Logic Quarterly 58 (6):399-416.
Ternary operations as primitive notions for constructive plane geometry III.Victor Pambuccian - 1993 - Mathematical Logic Quarterly 39 (1):393-402.
Full development of Tarski's geometry of solids.Rafaŀ Gruszczyński & Andrzej Pietruszczak - 2008 - Bulletin of Symbolic Logic 14 (4):481-540.
Quantum logic and the classical propositional calculus.Othman Qasim Malhas - 1987 - Journal of Symbolic Logic 52 (3):834-841.
Constructivity in Geometry.Richard Vesley - 1999 - History and Philosophy of Logic 20 (3-4):291-294.
An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube?Vladik Kreinovich & Olga Kosheleva - 1994 - Mathematical Logic Quarterly 40 (1):31-34.
The Modal Multilogic of Geometry.Philippe Balbiani - 1998 - Journal of Applied Non-Classical Logics 8 (3):259-281.
Diophantine geometry from model theory.Thomas Scanlon - 2001 - Bulletin of Symbolic Logic 7 (1):37-57.
Distance geometry and geometric algebra.Andreas W. M. Dress & Timothy F. Havel - 1993 - Foundations of Physics 23 (10):1357-1374.
Space, points and mereology. On foundations of point-free Euclidean geometry.Rafał Gruszczyński & Andrzej Pietruszczak - 2009 - Logic and Logical Philosophy 18 (2):145-188.
Analytics
Added to PP
2014-03-27
Downloads
13 (#768,459)
6 months
1 (#452,962)
2014-03-27
Downloads
13 (#768,459)
6 months
1 (#452,962)
Historical graph of downloads