Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package

DOI10.1016/j.matcom.2012.06.012OpenAlexW2080219432MaRDI QIDQ2229887

Antonio Hernando, Eugenio Roanes-Lozano, Jose Antonio Alonso

Publication date: 18 February 2021

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.matcom.2012.06.012

zbMATH Keywords

computer algebra systemsBelnap's four-valued logicfinite many-valued logicseffective computations

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items

Logics' Explorer

Uses Software

• Maple

Cites Work

• The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
• Refutational theorem proving using term-rewriting systems
• Multi-valued logic and Gröbner bases with applications to modal logic
• An algebraic approach to rule based expert systems
• A new axiomatization of Belnap's conditional assertion
• A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
• A Groebner bases-based approach to backward reasoning in rule based expert systems
• A polynomial model for logics with a prime power number of truth values
• The many valued and nonmonotonic turn in logic
• Essential Maple 7
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item