Inproceedings,

Model theory and closure operators of lattice-valued propositional logic LP(X).

, and .
SMC, page 5010-5015. IEEE, (2003)

Meta data

Tags

Users

  • @dblp

Comments and Reviews