Implicational Logic, Relevance, and Refutability
DOI:
https://doi.org/10.12775/LLP.2019.024Słowa kluczowe
implicational logic, relevance logic, refutation systemsAbstrakt
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
Pobrania
Opublikowane
Jak cytować
Numer
Dział
Statystyki
Liczba wyświetleń i pobrań: 572
Liczba cytowań: 0