Satisfiability in Łukasiewicz logic and its unbounded relative

Zuzana Haniková, Filip Jankovec

Unbounded Łukasiewicz logic is a substructural logic that combines features of infinite-valued Łukasiewicz logic with those of abelian logic. The logic is finitely strongly compl…