An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics

DOI10.1080/11663081.1998.10510951MaRDI QIDQ4236072zbMATH OpenOpenAlexFDO

Authors Jinzhao Wu, Hongyan Tan, Yongli Li

Publication date 22 March 1999

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1998.10510951

zbMATH Keywords

algorithmalgebraic varietymany-valued logicdeduction problempropositional formulapolynomial over the rational number field

Mathematics Subject Classification ID

Many-valued logic (03B50) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 989195
• scientific article; zbMATH DE number 1076962
• scientific article; zbMATH DE number 3875236
• scientific article; zbMATH DE number 1453810
• scientific article; zbMATH DE number 1076961
• Many-valued logics and their algebras
• Algebraic foundations of many-valued reasoning
• Many-valued logics -- theorem proving problems
• scientific article; zbMATH DE number 2042610
• scientific article; zbMATH DE number 6001202

Cites work

• scientific article; zbMATH DE number 559756 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Multi-valued logic and Gröbner bases with applications to modal logic
• Refutational theorem proving using term-rewriting systems

Cited in

(8)

• An inference engine for propositional two-valued logic based on the radical membership problem
• On polynomial semantics for propositional logics
• A note on Kirkwood's algebraic method for decision problems
• Factor varieties and symbolic computation
• A simple algorithm for deduction
• scientific article; zbMATH DE number 3957059 (Why is no real title available?)
• scientific article; zbMATH DE number 2177634 (Why is no real title available?)
• scientific article; zbMATH DE number 7533353 (Why is no real title available?)

This page was built for publication: An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4236072)