- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ − and RMQ
Studia Logica 103 (5):985-1003 (2015)
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 logicsAuthor's Profile
Other Versions
No versions found
My notes
Similar books and articles
Matrix-based logic for application in physics.Paul Weingartner - 2009 - Review of Symbolic Logic 2 (1):132-163.
Basis Logic for Application in Physics and Its Intuitionistic Alternative.Paul Weingartner - 2010 - Foundations of Physics 40 (9-10):1578-1596.
Proof tableau formulations of some first-order relevant ortho-logics.Michael Mcrobbie & Nuel Belnap Jr - 1984 - Bulletin of the Section of Logic 13 (4):233-239.
Proof systems for various fde-based modal logics.Sergey Drobyshevich & Heinrich Wansing - 2020 - Review of Symbolic Logic 13 (4):720-747.
An Alternative Propositional Calculus for Application to Empirical Sciences.Paul Weingartner - 2010 - Studia Logica 95 (1-2):233 - 257.
Finite Hilbert Systems for Weak Kleene Logics.Vitor Greati, Sérgio Marcelino & Umberto Rivieccio - 2024 - Studia Logica 112 (6):1215-1241.
Containment Logics: Algebraic Completeness and Axiomatization.Stefano Bonzio & Michele Pra Baldi - 2021 - Studia Logica 109 (5):969-994.
An Algebraic View of Super-Belnap Logics.Hugo Albuquerque, Adam Přenosil & Umberto Rivieccio - 2017 - Studia Logica 105 (6):1051-1086.
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.Marcelo E. Coniglio & Martín Figallo - 2014 - Studia Logica 102 (3):525-539.
Analytics
Added to PP
2015-01-31
Downloads
29 (#772,073)
6 months
7 (#699,353)
2015-01-31
Downloads
29 (#772,073)
6 months
7 (#699,353)
Historical graph of downloads
Author's Profile
References found in this work
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
Many-valued logics.J. Barkley Rosser - 1977 - Westport, Conn.: Greenwood Press. Edited by Atwell R. Turquette.
Matrix-based logic for application in physics.Paul Weingartner - 2009 - Review of Symbolic Logic 2 (1):132-163.
Axiom schemes for m-valued propositional calculi.J. B. Rosser & A. R. Turquette - 1945 - Journal of Symbolic Logic 10 (3):61-82.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-sfdq8 dc2