Minimally inconsistent LP

Studia Logica - Tập 50 Số 2 - Trang 321-331 - 1991
Graham Priest1
1Department of Philosophy, University of Queensland, 4072, Queensland, Australia

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, Logic of paradox, Journal of Philosophical Logic 8 (1979), pp. 219?241.

G. Priest, In Contradiction, Nijhoff, 1987.

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].

G. Priest, R. Routley, and J. Norman, Paraconsistent Logic, Philosophia Verlag, 1989.