Displaying similar documents to “Autonomous posets and quantales”