共 50 条
- [35] α-RESOLUTION METHOD FOR LATTICE-VALUED HORN GENERALIZED CLAUSES IN LATTICE-VALUED PROPOSITIONAL LOGIC SYSTEM [J]. DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 270 - 275
- [36] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems [J]. International Journal of Computational Intelligence Systems, 2015, 8 : 75 - 84
- [40] Insertion of lattice-valued and hedgehog-valued functions [J]. TOPOLOGY AND ITS APPLICATIONS, 2006, 153 (09) : 1458 - 1475