Satisfiability in Łukasiewicz Logic and Its Unbounded Relative.

Zuzana Hanikov, Filip Jankovec

Browse the full CSL paper archive.