Notre Dame Journal of Formal Logic 51 (3):383-405 (2010)
|Abstract||Whitehead, in two basic books, considers two different approaches to point-free geometry: the inclusion-based approach , whose primitive notions are regions and inclusion relation between regions, and the connection-based approach , where the connection relation is considered instead of the inclusion. We show that the latter cannot be reduced to the first one, although this can be done in the framework of multivalued logics|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Loredana Biacino & Giangiacomo Gerla (1996). Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point. Notre Dame Journal of Formal Logic 37 (3):431-439.
Philip Kremer (2008). Supervaluation Fixed-Point Logics of Truth. Journal of Philosophical Logic 37 (5).
Diego L. Rapoport (2009). Surmounting the Cartesian Cut with Philosophy, Physics, Cybernetics and Geometry; Self.Reference, Torsion, the Klein Bottle, Multivalued Logics and Quantum Mechanics. foundations of physics 39 (09).
John L. Bell, Two Approaches to Modelling the Universe: Synthetic Differential Geometry and Frame-Valued Sets.
Richard Vesley (1999). Constructivity in Geometry. History and Philosophy of Logic 20 (3-4):291-294.
Vera Stebletsova & Yde Venema (2001). Undecidable Theories of Lyndon Algebras. Journal of Symbolic Logic 66 (1):207-224.
Giangiacomo Gerla (2006). Effectiveness and Multivalued Logics. Journal of Symbolic Logic 71 (1):137 - 162.
Victor Pambuccian (2002). Axiomatizations of Hyperbolic Geometry: A Comparison Based on Language and Quantifier Type Complexity. Synthese 133 (3):331 - 341.
Giangiacomo Gerla (2007). Point-Free Geometry and Verisimilitude of Theories. Journal of Philosophical Logic 36 (6):707 - 733.
Added to index2010-08-19
Total downloads13 ( #89,057 of 556,837 )
Recent downloads (6 months)1 ( #64,847 of 556,837 )
How can I increase my downloads?