Abstract
A star-free relational semantics for relevant logic is presented together with a sound and complete sequent proof theory (display calculus). It is an extension of the dualist approach to negation regarded as modality, according to which de Morgan negation in relevant logic is better understood as the confusion of two negative modalities. The present work shows a way to define them in terms of implication and a new connective, co-implication, which is modeled by respective ternary relations. The defined negations are confused by a special constraint on ternary relation, called the generalized star postulate, which implies definability of the Routley star in the frame. The resultant logic is shown to be equivalent to the well-known relevant logic R. Thus it can be seen as a reconstruction of R in the dualist framework.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Belnap N.: Display logic. Journal of Philosophical logic 11(4), 375–417 (1982)
Copeland J.: On When a Semantics is not a Semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic. Journal of Philosophical Logic 8, 399–413 (1979)
Dos̆en K.: Negation as a modal operator. Reports on Mathematical Logic 20, 15–27 (1986)
Dunn, J. M., A comparative study of various model-theoretic treatments of negation: a history of formal negation, in D. M. Gabbay, and H. Wansing (eds.), What is Negation?, Springer, Netherlands, 1999, pp. 23–51.
Dunn, J. M., and G. Restall, Relevance logic, in D. Gabbay, and F. Guenther, (eds.), Handbook of philosophical logic, Vol. 6, 2002, pp. 1–136.
Dunn J. M., Zhou C.: Negation in the context of Gaggle Theory. Studia Logica 80(2–3), 235–264 (2005)
Gorè R.: Dual Intuitionistic Logic Revisited. Notre Dame Journal of Formal Logic 37(3), 440–451 (2000)
Mares E. D.: A star-free semantics for R. Journal of Symbolic Logic 60(2), 579–590 (1995)
Mares E. D.: Relevant logic and the theory of information. Synthese 109(3), 345–360 (1996)
Mares E. D.: Relevant Logic: A Philosophical Interpretation. Cambridge University Press, Cambridge (2004)
Mares, E. D., Relevance logic, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Spring 2014 edn., 2014.
Onishi T.: Substructural negations. The Australasian Journal of Logic 12(4), 177–203 (2015)
Restall, G., Information flow and relevant logics, Logic, language and computation 1–14, 1996.
Restall G.: Displaying and deciding substructural logics 1: logics with contraposition. Journal of Philosophical Logic 27(2), 179–216 (1998)
Restall, G., Negation in relevant logics (how I stopped worrying and learned to love the Routley star), in D. M. Gabbay, and H. Wansing, (eds.), What is Negation?, Springer, Netherlands, 1999, pp. 53–76.
Restall G.: Defining double negation elimination. Logic Journal of IGPL 8(6), 853–860 (2000)
Routley R.: The American plan completed: alternative classical-style semantics, without stars, for relevant and paraconsistent logics. Studia Logica 43(1–2), 131–158 (1984)
Routley, R., and R. K. Meyer, The semantics of entailment, in H. Leblanc, (ed.), Truth, Syntax and Modality, North Holland, Amsterdam, 1972, pp. 199–243.
Routley R., Meyer R. K.: The semantics of entailment II, Journal of philosophical logic 1, 53–73 (1972)
Routley R., Routley V.: The semantics of first degree entailment. Noûs 6(4), 335–359 (1972)
Shramko Y.: Dual intuitionistic logic and a variety of negations: the logic of scientific research. Studia Logica 80(2–3), 347–367 (2005)
van Benthem J.: What is dialectical logic?. Erkenntnis 14(3), 333–347 (1979)
Wansing H.: Constructive negation, implication, and co-implication. Journal of Applied Non-Classical Logics 18(2-3), 341–364 (2008)
Wansing, H., Proofs, disproofs, and their duals, in L. Beklemishev, V. Goranko, and V. Shehtman, (eds.), Advances in Modal Logic, vol. 8, College Publications, London, 2010, pp. 483–505.
Zhou, C., Perp and star in the light of modal Logic 1–21. Manuscript, 2004.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Onishi, T. Understanding Negation Implicationally in the Relevant Logic R. Stud Logica 104, 1267–1285 (2016). https://doi.org/10.1007/s11225-016-9676-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-016-9676-x