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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Labelled modal logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.
Natural Deduction for Paraconsistent Logic.Milton De Castro & Itala Loffredo D'ottaviano - 2000 - Logica Trianguli 4:3-24.
A content semantics for quantified relevant logics. I.Ross T. Brady - 1988 - Studia Logica 47 (2):111 - 127.
Normalized Natural Deduction Systems for Some Relevant Logics I: The Logic DW.Ross T. Brady - 2006 - Journal of Symbolic Logic 71 (1):35 - 66.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.
Labelled Natural Deduction for Conditional Logics of Normality.Krysia Broda, Dov Gabbay, Luís Lamb & Alessandra Russo - 2002 - Logic Journal of the IGPL 10 (2):123-163.
A survey of natural deduction systems for modal logics.Andrzej Indrzejczak - 1999 - Logica Trianguli 3:55-84.
Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.
Labelled non-classical logics.Luca Viganò - 2000 - Boston: Kluwer Academic Publishers.
Normal Proofs, Cut Free Derivations and Structural Rules.Greg Restall - 2014 - Studia Logica 102 (6):1143-1166.
Rules in relevant logic — II: Formula representation.Ross T. Brady - 1993 - Studia Logica 52 (4):565 - 585.
Logics of rejection: two systems of natural deduction.Allard Tamminga - 1994 - Logique Et Analyse 146:169-208.
Correspondence analysis for strong three-valued logic.Allard Tamminga - 2014 - Logical Investigations 20:255-268.
Completeness via correspondence for extensions of the logic of paradox.Barteld Kooi & Allard Tamminga - 2012 - Review of Symbolic Logic 5 (4):720-730.

Analytics

Added to PP
2015-02-06

Downloads
23 (#664,515)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Variable-Sharing as Relevance.Shawn Standefer - forthcoming - In Igor Sedlár, Shawn Standefer & Andrew Tedder (eds.), New Directions in Relevant Logic.
What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
Notes on Stratified Semantics.Shay Allen Logan - 2019 - Journal of Philosophical Logic 48 (4):749-786.
Deep Fried Logic.Shay Allen Logan - 2020 - Erkenntnis 87 (1):257-286.
Actual Issues for Relevant Logics.Shawn Standefer - 2020 - Ergo: An Open Access Journal of Philosophy 7.

View all 35 citations / Add more citations

References found in this work

No references found.

Add more references