Kripke Semantics for Intuitionistic Łukasiewicz Logic. - A. Lewis-Smith; Paulo Oliva; Edmund Robinson (Stud Logica, 2021)