共 50 条
- [22] MANY-VALUED MODAL PROPOSITIONAL CALCULI [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1988, 34 (04): : 343 - 354
- [23] On implicit extensions in many-valued logic [J]. DISCRETE MATHEMATICS AND APPLICATIONS, 2024, 34 (05): : 277 - 282
- [24] AN INTERPOLATION THEOREM IN MANY-VALUED LOGIC [J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 448 - 452
- [27] ENCODING MANY-VALUED LOGIC IN λ-CALCULUS [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (02) : 25:1 - 25:16
- [29] The Many-Valued Logic of Quantum Mechanics [J]. International Journal of Theoretical Physics, 2021, 60 : 677 - 686