Skip to main content
SpringerLink
Log in

Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ − and RMQ *

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper deals with the axiomatizability problem for the matrix-based logics RMQ − and RMQ *. We present a Hilbert-style axiom system for RMQ −, and a quasi-axiomatization based on it for RMQ *. We further compare these logics to different well-known modal logics, and assess its status as relevance logics.

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. Anderson A. R., Belnap N.D.: Entailment: The Logic of Relevance and Necessity. Princeton University Press, Princeton (1975)

    Google Scholar 

  2. Ballarin, R., Modern origins of modal logic, in E. N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy. Winter 2010 edition, 2010.

  3. Czermak, J., Eine endliche axiomatisierung von SS1M, in E. Morscher, O. Neumaier, and G. Zecha, (eds.), Philosophie als Wissenschaft—Essays in Scientific Philosophy, Comes Verlag, Bad Reichenhall, 1981, pp. 245–257.

  4. Gottwald S.: A Treatise on Many-Valued Logic. Research Studies Press, Taunton (2000)

    Google Scholar 

  5. Hughes, G. E., and M. J. Cresswell, A New Introduction to Modal Logic. Routledge, 1996.

  6. Rosser J. B., Turquette A. R.: Axiom schemes for M-valued propositional calculi. The Journal of Symbolic Logic 10(3), 61–82 (1945)

    Article  Google Scholar 

  7. Rosser J. B., Turquette A. R.: Many-Valued Logics. North-Holland Publishing, Amsterdam (1952)

    Google Scholar 

  8. Weingartner P.: Matrix-based logics for applications in physics. Review of Symbolic Logic 2, 132–163 (2009)

    Article  Google Scholar 

  9. Weingartner P.: An alternative propositional calculus for application to empirical sciences. Studia Logica 95, 233–257 (2010)

    Article  Google Scholar 

  10. Weingartner P.: Basis logic for application in physics and its intuitionistic alternative. Foundations of Physics 40(9–10), 1578–1596 (2010)

    Article  Google Scholar 

  11. Yonemitsu, N., A note on the modal systems, von Wright’s and Lewis’s S1, Memoirs of the Osaka University of the Liberal Arts and Education Bulletin of Natural Science 45(4), 1955.

Download references

Author information

Authors and Affiliations

  1. MCMP, LMU Munich, Munich, Germany

    Albert J. J. Anglberger

  2. University of Salzburg, Salzburg, Austria

    Jonathan Lukic

Authors
  1. Albert J. J. Anglberger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jonathan Lukic
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Albert J. J. Anglberger.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Anglberger, A.J.J., Lukic, J. Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ − and RMQ * . Stud Logica 103, 985–1003 (2015). https://doi.org/10.1007/s11225-015-9602-7

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-015-9602-7

Keywords

Search

Navigation