Logics' Explorer

swMATH6603MaRDI QIDQ18693FDOQ18693

Author name not available (Why is that?)

Described by source

• Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
• The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics

This page was built for software: Logics' Explorer