The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
From MaRDI portal
Publication:692319
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
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
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
