Article,

alpha-Resolution principle based on lattice-valued propositional logic LP(X).

, , , and .
Inf. Sci., 130 (1-4): 195-223 (2000)

Meta data

Tags

Users

  • @dblp

Comments and Reviews