Hong-Yan Tan

According to our database¹, Hong-Yan Tan authored at least 2 papers between 1994 and 1998.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1998

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

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1998

1994

An Algebraic Method to Decide the Deduction Problem in Many-Valued Propositional Calculus.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Multiple-Valued Logic, 1994