New complexity results for Łukasiewicz logic

Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret. New complexity results for Łukasiewicz logic. Soft Comput., 23(7):2187-2197, 2019. [doi]

Abstract

Abstract is missing.