MNiBLoS

MaRDI QIDQ44029swMATHFDO

Official website https://www.sciencedirect.com/science/article/pii/S0020025516306491

Described by source

• MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions

Cited in

(2)

• New complexity results for Łukasiewicz logic
• Fuzzydl

This page was built for software: MNiBLoS