共 50 条
- [1] A SYSTEM FOR PROPER MULTIPLE-CONCLUSION ENTAILMENT [J]. LOGIC AND LOGICAL PHILOSOPHY, 2015, 24 (02) : 241 - 253
- [2] Forum: A multiple-conclusion specification logic [J]. THEORETICAL COMPUTER SCIENCE, 1996, 165 (01) : 201 - 232
- [3] Acceptance, inference, and the multiple-conclusion sequent [J]. SYNTHESE, 2012, 187 (03) : 913 - 924
- [6] Disjunctive and Conjunctive Multiple-Conclusion Consequence Relations [J]. STUDIA LOGICA, 2020, 108 (06) : 1125 - 1143
- [7] Disjunctive and Conjunctive Multiple-Conclusion Consequence Relations [J]. Studia Logica, 2020, 108 : 1125 - 1143
- [9] Harmony in Multiple-Conclusion Natural-Deduction [J]. LOGICA UNIVERSALIS, 2014, 8 (02) : 215 - 259