Minimally inconsistent LP
Tóm tắt
Từ khóa
Tài liệu tham khảo
D. Batens, Dialectical dynamics within formal logics, Logique et Analyse 29 (1986), pp. 114?173.
D. Batens, Dynamic dialectical logics, in [9].
H. Friedman and R. Meyer, Can we Implement Relevant Arithmetic?, Technical Report TR-ARP-12/88, Automated Reasoning Project, Australian National University, Canberra, 1988.
G. Priest, Consistency by Default, Technical Report TR-ARP-3/88, Automated Reasoning Project, Australian National University, Canberra, 1988.
G. Priest, Reductio ad Absurdum et Modus Tollendo Ponens, in [9].
G. Priest and R. Routley, On Paraconsistency, #13 Research Series in Logic and Metaphysics, Department of Philosophy. RSSS, Australian National University, 1983. Reprinted as the introductory chapters of [9].