An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
From MaRDI portal
Publication:4236072
DOI10.1080/11663081.1998.10510951zbMath0920.03037MaRDI 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
algorithm; many-valued logic; algebraic variety; deduction problem; propositional formula; polynomial over the rational number field
Cites Work