Title
An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
Year
Venue
Keywords
1998
Journal of Applied Non-Classical Logics
algebraic varieties,deduction problem,polynomials,propositional formulas,algebraic variety,rational number,many valued logic
Field
DocType
Volume
Atomic formula,Discrete mathematics,Algebra,Algebraic function,Algebraic extension,Gröbner basis,Abstract algebraic logic,Well-formed formula,Propositional variable,Propositional formula,Mathematics
Journal
8
Issue
ISSN
Citations 
4
19585780
3
PageRank 
References 
Authors
0.52
2
3
Name
Order
Citations
PageRank
Jinzhao Wu115229.48
Hong-yan Tan290.94
Yongli Li334.57