共 50 条
- [42] A resolution method on lattice-valued tense propositional logic APPLIED COMPUTATIONAL INTELLIGENCE, 2004, : 87 - 92
- [48] Lattice-valued possibility measures on the basis of multimodal logic SICE '97 - PROCEEDINGS OF THE 36TH SICE ANNUAL CONFERENCE, INTERNATIONAL SESSION PAPERS, 1997, : 1067 - 1070
- [49] Declarative semantics of programming in residuated lattice-valued logic SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 2000, 43 (05): : 481 - 494