Implicational Logic, Relevance, and Refutability

Tomasz Skura

doi:10.12775/LLP.2019.024

Autor

Tomasz Skura University of Zielona Góra, Institute of Philosophy

DOI:

https://doi.org/10.12775/LLP.2019.024

Słowa kluczowe

implicational logic, relevance logic, refutation systems

Abstrakt

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

Bibliografia

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