4 found
Sort by:
  1. Marco Aiello, Guram Bezhanishvili, Isabelle Bloch & Valentin Goranko (2012). Logic for Physical Space. Synthese 186 (3):619-632.
    Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Marco Aiello, Guram Bezhanishvili, Isabelle Bloch & Valentin Goranko (2012). Logic for Physical Space: From Antiquity to Present Days. Synthese 186 (3):619 - 632.
    Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Marco Aiello & Johan van Benthem (2002). A ModalWalk Through Space. Journal of Applied Non-Classical Logics 12 (3-4):319-363.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Marco Aiello (2001). Roberto Casati and Achille Varzi, Parts and Places, the Structures of Spatial Representation. Journal of Logic, Language and Information 10 (2):269-272.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation