Proximity Logic