Logics' Explorer

swMATH6603MaRDI QIDQ18693FDOQ18693

Author name not available (Why is that?)

Official website: http://rd.springer.com/article/10.1007%2Fs13398-011-0041-7?null

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

Cited In (1)

• MUltlog

This page was built for software: Logics' Explorer