##article.return## Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences Download Download PDF