Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences. - Maximilian R. P. von Liechtenstein (CoRR, 2025)