Sentential constants in R and r⌝

Studia Logica 45 (3):301 - 327 (1986)
  Copy   BIBTEX

Abstract

In this paper, we shall confine ourselves to the study of sentential constants in the system R of relevant implication.In dealing with the behaviour of the sentential constants in R, we shall think of R itself as presented in three stages, depending on the level of truth-functional involvement.

Categories

Keywords

Reprint years

DOI

10.1007/bf00375901

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Sentential constants in systems near R.John Slaney - 1993 - Studia Logica 52 (3):443 - 455.
Sentential constants in relevance implication.Robert K. Meyer - 1980 - Bulletin of the Section of Logic 9 (1):33-36.
The adequacy of the theories of deductive systems with respect to sentential calculi.W. A. Pogorzelski - 1962 - Studia Logica 13 (1):129-131.
Extending Metacompleteness to Systems with Classical Formulae.Ross T. Brady - 2011 - Australasian Journal of Logic 8:9-30.
3088 varieties a solution to the Ackermann constant problem.John K. Slaney - 1985 - Journal of Symbolic Logic 50 (2):487-501.
On two notions concerning the structural sentential calculi.Wieslaw Dziobiak & Wojciech Sachwanowicz - 1979 - Bulletin of the Section of Logic 8 (2):54-58.
Review: R. Bradshaw Angell, Note on a Less Restricted Type of Rule of Inference; R. B. Angell, The Sentential Calculus using Rule of Inference $R_e$. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):602-603.
Review: J. Los, R. Suszko, Remarks on Sentential Logics. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):603-604.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1983 - Bulletin of the Section of Logic 12 (3):111-114.
Logical Consequence in Modal Logic.John Corcoran & George Weaver - 1969 - Notre Dame Journal of Formal Logic 10 (4):370-384.

Analytics

Added to PP
2009-01-28

Downloads
52 (#299,043)

6 months
3 (#1,208,833)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

New Consecution Calculi for R→t.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.
Sentential constants in systems near R.John Slaney - 1993 - Studia Logica 52 (3):443 - 455.

View all 7 citations / Add more citations

References found in this work

Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
Classical relevant logics II.Robert K. Meyer & Richard Routley - 1974 - Studia Logica 33 (2):183 - 194.
Intensional models for first degree formulas.Nuel D. Belnap - 1967 - Journal of Symbolic Logic 32 (1):1-22.
RI the Bounds of Finitude.Robert K. Meyer - 1970 - Mathematical Logic Quarterly 16 (7):385-387.
3088 varieties a solution to the Ackermann constant problem.John K. Slaney - 1985 - Journal of Symbolic Logic 50 (2):487-501.

View all 7 references / Add more references