共 50 条
- [21] Monotone insertion of lattice-valued functions Acta Mathematica Hungarica, 2007, 117 : 187 - 200
- [23] α-RESOLUTION METHOD FOR LATTICE-VALUED HORN GENERALIZED CLAUSES IN LATTICE-VALUED PROPOSITIONAL LOGIC SYSTEM DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 270 - 275
- [24] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems International Journal of Computational Intelligence Systems, 2015, 8 : 75 - 84
- [27] Characterization of Lattice-Valued Restricted Equivalence Functions FUZZY INFORMATION PROCESSING, NAFIPS 2018, 2018, 831 : 167 - 178
- [29] Isotone lattice-valued Boolean functions and cuts Acta Scientiarum Mathematicarum, 2015, 81 (3-4): : 375 - 380
- [30] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued First-order Logic System 2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE), 2015, : 89 - 93