scientific article; zbMATH DE number 1453135
From MaRDI portal
Publication:4955416
zbMath0946.03029MaRDI QIDQ4955416
Publication date: 1 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
softwaremany-valued logictautologycomputer algebra systemtruth tablesexperience in the classroomKleene style \(p\)-valued logic
Symbolic computation and algebraic computation (68W30) Many-valued logic (03B50) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Problem books, competitions, examinations (aspects of mathematics education) (97U40)
Related Items (2)
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
Uses Software
This page was built for publication:
