"Kripke Semantics for Intuitionistic Łukasiewicz Logic."

A. Lewis-Smith, P. Oliva, Edmund Robinson (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics