Natural deduction systems for some quantified relevant logics

Logique Et Analyse 27 (8):355--377 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

Translations between linear and tree natural deduction systems for relevant logics.Shawn Standefer - 2021 - Review of Symbolic Logic 14 (2):285 - 306.
A natural deduction variant of systems T, S4, S5, and the browerian system.R. W. Beard - 1973 - Logique Et Analyse 16 (63):311.
Completeness of some quantified modal logics.James W. Garson - 1978 - Logique Et Analyse 21 (82):153.
Review: Richard Routley, Val Plumwood, Robert K. Meyer, Ross T. Brady, Relevant Logics and their Rivals. Part I. The Basic Philosophical and Semantical Theory. [REVIEW]Daniel H. Cohen - 1989 - Journal of Symbolic Logic 54 (1):293-296.
Fitch-style natural deduction for modal paralogics.Hans Lycke - 2009 - Logique Et Analyse 52 (207):193-218.
Logics of rejection: two systems of natural deduction.Allard Tamminga - 1994 - Logique Et Analyse 146:169-208.
Normalized Natural Deduction Systems for Some Relevant Logics I: The Logic DW.Ross T. Brady - 2006 - Journal of Symbolic Logic 71 (1):35 - 66.
Natural deduction "puzzle".J. Xenakis - 1975 - Logique Et Analyse 18 (69):59.
A natural deduction system for 'if then'.T. Dale - 1979 - Logique Et Analyse 22 (87):339.
Deduction systems and valuation spaces.M. Katz - 1983 - Logique Et Analyse 26 (2):157.

Analytics

Added to PP
2015-02-06

Downloads
41 (#546,423)

6 months
4 (#1,247,585)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
Variable-Sharing as Relevance.Shawn Standefer - 2025 - In Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic. Springer.
Deep Fried Logic.Shay Allen Logan - 2020 - Erkenntnis 87 (1):257-286.
Notes on Stratified Semantics.Shay Allen Logan - 2019 - Journal of Philosophical Logic 48 (4):749-786.
Assertion, denial and non-classical theories.Greg Restall - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 81--99.

View all 52 citations / Add more citations

References found in this work

No references found.

Add more references