共 50 条
- [21] The complexity of primal logic with disjunction [J]. INFORMATION PROCESSING LETTERS, 2015, 115 (05) : 536 - 542
- [22] The Complexity of Disjunction in Intuitionistic Logic [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 349 - 363
- [23] Propositional primal logic with disjunction [J]. JOURNAL OF LOGIC AND COMPUTATION, 2014, 24 (01) : 257 - 282
- [25] Logic programndng with ordered disjunction [J]. EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 100 - 105
- [26] Logic programs with ordered disjunction [J]. COMPUTATIONAL INTELLIGENCE, 2004, 20 (02) : 335 - 357
- [28] Quantum Immortality and Non-Classical Logic [J]. Journal of Applied Logics, 2022, 9 (02): : 635 - 650
- [29] QUANTUM IMMORTALITY AND NON-CLASSICAL LOGIC [J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2022, 9 (02): : 635 - 650
- [30] Why classical certification is impossible in a quantum world [J]. Quantum Information Processing, 2012, 11 : 493 - 499