MNiBLoS

swMATH32318MaRDI QIDQ44029FDOQ44029

scientific article; zbMATH DE number Author name (Why is no real title available?)

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

(2)

• New complexity results for Łukasiewicz logic
• Fuzzydl

This page was built for software: MNiBLoS