Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic - Finger, Marcelo; Preto, Sandro (Journal of Logic and Computation, 2025)