Multi-valued Logic for a Point Free Foundation of Geometry