Implicational Logic, Relevance, and Refutability
DOI:
https://doi.org/10.12775/LLP.2019.024Keywords
implicational logic, relevance logic, refutation systemsAbstract
The goal of this paper is to analyse Implicational Relevance Logic from the point of view of refutability. We also correct an inaccuracy in our paper “The RM paraconsistent refutation system” (DOI: http://dx.doi.org/10.12775/LLP.2009.005).References
Anderson, A.R., and N.D. Belnap, Entailment, volume 1, Princeton University Press, Princeton, 1975.
Anderson, A.R., N.D. Belnap, and J.M. Dunn, Entailment, volume 2., Princeton University Press, Princeton, 1992.
Avron, A., “Relevance entailment: Semantics and formal systems”, Journal of Symbolic Logic 49, 2 (1984): 334–342. DOI: http://dx.doi.org/10.2307/2274169
Avron, A., “Relevance and paraconsistency – a new approach Part II: The formal systems”, Notre Dame Journal of Formal Logic 31, 2 (1990): 169–202. DOI: http://dx.doi.org/10.2307/2275380
Dunn, J.M., and G. Restall, “Relevance logic”, pages 1–128 in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, volume 6, Kluwer, 2002. DOI: http://dx.doi.org/10.1007/978-94-017-0460-1_1
Gabbay, D.M., Semantical Investigations in Heyting’s Intuitionistic Logic, D. Reidel, Dordrecht, 1981. DOI: http://dx.doi.org/10.1007/978-94-017-2977-2
Parks, R.Z., “A note on R-mingle and Sobociński’s three-valued logic”, Notre Dame Journal of Formal Logic 13, 2 (1972): 227–228. DOI: http://dx.doi.org/10.1305/ndjfl/1093894720
Segerberg, K., “Proof of a conjecture of McKay”, Fundamenta Mathematicae 81 (1974): 267–270.
Skura, T., “Maximality and refutability”, Notre Dame Journal of Formal Logic 45, 2 (2004): 65–72. DOI: http://dx.doi.org/10.1305/ndjfl/1095386644
Skura, T., “The RM paraconsistent refutation system”, Logic and Logical Philosophy 18, 1 (2009): 65–70. DOI: http://dx.doi.org/10.12775/LLP.2009.005
Skura, T., “Refutation systems in propositional logic”, pages 115–157 in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, volume 16, Springer, 2011. DOI: http://dx.doi.org/10.1007/978-94-007-0479-4_2
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 272
Number of citations: 0
