Multi-valued logic and Gröbner bases with applications to modal logic

DOI10.1016/S0747-7171(08)80043-0zbMATH Open0728.03021MaRDI QIDQ804567FDOQ804567

N. E. Zubov

Publication date: 1991

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

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

zbMATH Keywords

multi-valued logicdeduction problemideal membership in a polynomial ringLukasiewicz's modal logic

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Other algebras related to logic (03G25)

Cites Work

• Title not available (Why is that?)
• The Theory of Representation for Boolean Algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Only prime superpositions need be considered in the Knuth-Bendix completion procedure
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
• Refutational theorem proving using term-rewriting systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• VDM: Axiomatising its Propositional Logic
• Title not available (Why is that?)

Cited In (30)

• An algebraic approach to DC railway electrification verification
• Modular forms of systems of \(k\)-valued functions of the algebra of logic
• A logic-algebraic tool for reasoning with knowledge-based systems
• An algebraic model for implementing expert systems based on the knowledge of different experts
• A prototype of a RBES for personalized menus generation
• On polynomial semantics for propositional logics
• A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm
• A natural language for implementing algebraically expert systems
• An algebraic approach for detecting nearly dangerous situations in expert systems
• A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
• Entailment multipliers: an algebraic characterization of validity for classical and modal logics
• Limits of theory sequences over algebraically closed fields and applications.
• Polynomial semantics for modal logics
• A logic and computer algebra-based expert system for diagnosis of anorexia
• A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
• A categorical critical-pair completion algorithm
• An expert system for managing medical appropriateness criteria based on computer algebra techniques
• Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
• Quasi-classical reasoning in paraconsistent databases
• 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
• Title not available (Why is that?)
• The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
• CWA extensions to multi-valued logics
• CWA formalizations in multi-valued logics
• An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
• Title not available (Why is that?)
• A portable knowledge-based system for car breakdown evaluation
• An algebraic approach to rule based expert systems
• Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package

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)