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

DOI10.1080/11663081.1998.10510951zbMath0920.03037OpenAlexW2089488392MaRDI QIDQ4236072

Hongyan Tan, Jinzhao Wu, 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

algorithmmany-valued logicalgebraic varietydeduction problempropositional formulapolynomial over the rational number field

Mathematics Subject Classification ID

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

Cites Work

• Refutational theorem proving using term-rewriting systems
• Multi-valued logic and Gröbner bases with applications to modal logic
• Unnamed Item
• Unnamed Item

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