Multi-valued logic and Gröbner bases with applications to modal logic
From MaRDI portal
Publication:804567
Recommendations
- scientific article; zbMATH DE number 989195
- A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
- An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
- scientific article; zbMATH DE number 2177634
- A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
Cites work
- scientific article; zbMATH DE number 3649988 (Why is no real title available?)
- scientific article; zbMATH DE number 3829296 (Why is no real title available?)
- scientific article; zbMATH DE number 3941661 (Why is no real title available?)
- scientific article; zbMATH DE number 3981150 (Why is no real title available?)
- scientific article; zbMATH DE number 46852 (Why is no real title available?)
- scientific article; zbMATH DE number 3557186 (Why is no real title available?)
- scientific article; zbMATH DE number 3578853 (Why is no real title available?)
- scientific article; zbMATH DE number 3392404 (Why is no real title available?)
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
- Only prime superpositions need be considered in the Knuth-Bendix completion procedure
- Refutational theorem proving using term-rewriting systems
- The Theory of Representation for Boolean Algebras
- VDM: Axiomatising its Propositional Logic
Cited in
(31)- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
- On polynomial semantics for propositional logics
- Polynomial ring calculus for modalities
- A polynomial model for logics with a prime power number of truth values
- Entailment multipliers: an algebraic characterization of validity for classical and modal logics
- An algebraic approach to DC railway electrification verification
- Modular forms of systems of \(k\)-valued functions of the algebra of logic
- Polynomial semantics for modal logics
- CWA extensions to multi-valued logics
- A logic-algebraic tool for reasoning with knowledge-based systems
- A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
- scientific article; zbMATH DE number 2042610 (Why is no real title available?)
- CWA formalizations in multi-valued logics
- An algebraic model for implementing expert systems based on the knowledge of different experts
- A natural language for implementing algebraically expert systems
- An algebraic approach for detecting nearly dangerous situations in expert systems
- Quasi-classical reasoning in paraconsistent databases
- An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
- Limits of theory sequences over algebraically closed fields and applications.
- A portable knowledge-based system for car breakdown evaluation
- A logic and computer algebra-based expert system for diagnosis of anorexia
- A categorical critical-pair completion algorithm
- scientific article; zbMATH DE number 2177634 (Why is no real title available?)
- A Groebner bases-based approach to backward reasoning in rule based expert systems
- An algebraic approach to rule based expert systems
- A prototype of a RBES for personalized menus generation
- A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
- An expert system for managing medical appropriateness criteria based on computer algebra techniques
- A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
This page was built for publication: Multi-valued logic and Gröbner bases with applications to modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q804567)
