alpha-resolution method for a lattice-valued first-order logic.

Paper Info

Title
alpha-resolution method for a lattice-valued first-order logic.

Authors (4 rows)

Cited by (0 rows)

References (0 rows)

Name	Order	Citations	PageRank
Xingxing He	1	84	13.90
Yang Xu	2	711	83.57
Jun Liu	3	644	56.21
Da Ruan	4	2008	112.05