The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics

DOI10.1007/s13398-011-0041-7zbMath1260.03002OpenAlexW2462699534MaRDI QIDQ692319

Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Antonio Hernando, Luis M. Laita, Jose Antonio Alonso

Publication date: 5 December 2012

Published in: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s13398-011-0041-7

zbMATH Keywords

computer algebra systemseffective computationfinite many-valued logics

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Many-valued logic (03B50) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items

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

Uses Software

• Maple
• MACSYMA
• MUltlog

Cites Work

• 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
• An accelerated-time simulation of departing passengers' flow in airport terminals
• 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
• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
• Essential Maple 7
• The Theory of Representation for Boolean Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item