Abstract
KR is Anderson and Belnap’s relevance logic R with the addition of the axiom of EFQ: \( (p \,\, \& \sim p) \rightarrow q\). Since KR is relevantistic as to implication but classical as to negation, it has been dubbed, among many others, a ‘classical relevance logic.’ For KR, there have been known so far just two pretabular normal extensions. For these pretabular logics, no simple axiomatizations have yet been presented. In this paper, we offer some and show that they do the job. We also introduce some Routley–Meyer semantic conditions for these axioms. All these may facilitate realizing our desire to discover other classical pretabular extensions over KR, if such extensions exist.
Similar content being viewed by others
References
Anderson, A. R., and N. D. Belnap, Jr., Entailment: The Logic of Relevance and Necessity, vol. I, Princeton: Princeton University Press, 1975.
Anderson, A. R., and N. D. Belnap, and M. Dunn, Entailment: the logic of relevance and necessity, vol. II, Princeton: Princeton University Press, 1992.
Dunn, J. M., Algebraic completeness results for \(R\)-mingle and its extensions, The Journal of Symbolic Logic 35(1): 1–13, 1970.
Dunn, J. M., Relevance Logic and Entailment, in D. Guenthner and D. Gabbay (eds.), Handbook of Philosophical Logic, vol. III: Alternatives to Classical Logic, Dordrerecht, 1986.
Dunn, J. M., and R. K. Meyer, Algebraic completeness results for Dummett’s LC and its extensions, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 17: 225–230, 1971.
Fallahi, A., A Second Pretabular Classical Relevance Logic, Studia Logica 106: 191–214, 2018.
Galminas, L., and J. G. Mersch, A Pretabular Classical Relevance Logic, Recent Developments related to Residuated Lattices and Substructural Logics, Studia Logica 100: 1211–1221, 2012.
Maksimova, L. L., LC and Its Pretabular Relatives, J. Michael Dunn on Information Based Logics, Volume 8 of the series Outstanding Contributions to Logic, 2016, pp. 81–91.
Priest, G. and R. Sylvan, A Simplified Semantics for Basic Relevant Logics, Journal of Philosophical Logic 21: 217–232, 1992.
Scroggs, S. J., Extensions of the Lewis system \(S\)5, The Journal of Symbolic Logic 16(2): 112–120, 1951.
Swirydowicz, K., There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height, The Journal of Symbolic Logic 73(4): 1249–1270, 2008.
Acknowledgements
I would like to thank Professor Mohammad Ardeshir and two anonymous referees for their corrections, suggestions and improvements. I also thank Dr. Amir Karbasi Zadeh for his help to improve the quality of English of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Yde Venema
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Fallahi, A. Simple Axiomatizations for Pretabular Classical Relevance Logics. Stud Logica 108, 359–393 (2020). https://doi.org/10.1007/s11225-019-09844-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-019-09844-7