Logics' Explorer

MaRDI QIDQ18693swMATHFDO

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