Skip to main content
SpringerLink
Log in

Restricted Arrow

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

In this paper I present a range of substructural logics for a conditional connective ↦. This connective was original introduced semantically via restriction on the ternary accessibility relation R for a relevant conditional. I give sound and complete proof systems for a number of variations of this semantic definition. The completeness result in this paper proceeds by step-by-step improvements of models, rather than by the one-step canonical model method. This gradual technique allows for the additional control, lacking in the canonical model method, that is required.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Beall, J. C. (2008). Curry’s paradox. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Spring 2008 ed.). URL: http://plato.stanford.edu/archives/spr2008/entries/curry-paradox/.

  2. Beall, J. C., Brady, R. T., Hazen, A. P., Priest, G., & Restall, G. (2006). Relevant restricted quantification. Journal of Philosophical Logic, 35, 587–598.

    Article  Google Scholar 

  3. Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press.

    Google Scholar 

  4. Dummett, M. (1977). Elements of intuitionism. Oxford: Oxford University Press.

    Google Scholar 

  5. Dunn, M. J. (1995). Positive modal logic. Studia Logica, 55, 301–317.

    Article  Google Scholar 

  6. Fine, K. (1989). Incompleteness for quantified relevance logics. In J. Norman & R. Sylvan (Eds.) Directions in Relevant Logic (pp. 205–225). Dordrecht: Kluwer Academic.

    Google Scholar 

  7. Goldblatt, R. (1993). Mathematics of modality. Stanford: csli.

    Google Scholar 

  8. Priest, G. (2001). An introduction to non-classical logic. Cambridge: Cambridge University Press.

    Google Scholar 

  9. Restall, G. (1999). Negation in relevant logics: How I stopped worrying and learned to love the Routley star. In D. Gabbay & H. Wansing (Eds.), What is negation? Applied logic series (Vol. 13, pp. 53–76). Dordrecht: Kluwer Academic.

    Google Scholar 

  10. Restall, G. (2000). An introduction to substructural logics. New York: Routledge.

    Google Scholar 

  11. Routley, R., & Meyer, R. K. (1972). Semantics of entailment—II. Journal of Philosophical Logic, 1, 53–73.

    Article  Google Scholar 

  12. Routley, R., & Meyer, R. K. (1972). Semantics of entailment—III. Journal of Philosophical Logic, 1, 192–208.

    Article  Google Scholar 

  13. Routley, R., & Meyer, R. K. (1973). Semantics of entailment. In H. Leblanc (Ed.) Truth syntax and modality (pp. 194–243). Amsterdam: North Holland.

    Google Scholar 

  14. Weber, Z. (forthcoming). Paradox and foundations. Ph.D. thesis, University of Melbourne.

Download references

Author information

Authors and Affiliations

  1. School of Philosophy, Anthropology and Social Inquiries, University of Melbourne, Melbourne, Australia

    C. M. Asmus

Authors
  1. C. M. Asmus
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to C. M. Asmus.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Asmus, C.M. Restricted Arrow. J Philos Logic 38, 405–431 (2009). https://doi.org/10.1007/s10992-008-9094-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10992-008-9094-2

Keywords

Search

Navigation