共 50 条
- [1] DEDUCTIVE INFERENCE ON SEMANTIC NETWORKS IN DECISION-MAKING SYSTEMS [J]. SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1985, 23 (02): : 1 - 13
- [6] A formal deductive system for fuzzy propositional calculus [J]. Science Bulletin, 1997, (18) : 1521 - 1525
- [7] The Category of Propositional Deductive Systems and their Generalized Models [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (376): : 2 - 2
- [8] Deductive Reasoning and Computing Based on Propositional Logic [J]. 2016 IEEE 15TH INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS & COGNITIVE COMPUTING (ICCI*CC), 2016, : 294 - 299
- [10] A formal deductive system for fuzzy propositional calculus [J]. CHINESE SCIENCE BULLETIN, 1997, 42 (18): : 1521 - 1525