logical geometry

researchers