共 50 条
- [41] IT Incident Management and Analysis Using Non-classical Logics [J]. ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: INITIATIVES FOR A SUSTAINABLE WORLD, 2016, 488 : 20 - 27
- [43] Normal natural deduction proofs (in non-classical logics) [J]. MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 169 - 191
- [44] Minimal Change in AGM Revision for Non-Classical Logics [J]. FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 657 - 660
- [45] A survey on computing prime implicants and implicates in classical and non-classical logics [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2014, 29 (05): : 327 - 340
- [46] Translating Non-classical Logics into Classical Logic by Using Hidden Variables [J]. Logica Universalis, 2017, 11 : 205 - 224
- [47] An Alleged Tension Between non-Classical Logics and Applied Classical Mathematics [J]. PHILOSOPHICAL QUARTERLY, 2024,