Adding the Disjunctive Syllogism to Relevant Logics Including TW Plus the Contraction and Reductio Rules

, &
Logique Et Analyse 54 (215):343-358 (2011)
  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,349

External links

  • This entry has no external links. Add one.
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

A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism.Gemma Robles & José M. Méndez - 2011 - Logic Journal of the IGPL 19 (1):18-32.
Paraconsistent logics included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (3):442-466.
A note on "Recent work in relevant logic".José M. Méndez - manuscript
A Routley-Meyer semantics for Ackermann's logics of “strenge implication”.José M. Méndez - 2009 - Logic and Logical Philosophy 18 (3-4):191-219.
A metacompleteness theorem for contraction-free relevant logics.John K. Slaney - 1984 - Studia Logica 43 (1-2):159 - 168.
The contraction rule and decision problems for logics without structural rules.Eiji Kiriyama & Hlroakira Ono - 1991 - Studia Logica 50 (2):299 - 319.
Admissibility of Ackermann's rule δ in relevant logics.Gemma Robles - 2013 - Logic and Logical Philosophy 22 (4):411-427.
Intuitionistic propositional logic without 'contraction' but with 'reductio'.J. M. Méndez & F. Salto - 2000 - Studia Logica 66 (3):409-418.
A constructive negation defined with a negation connective for logics including Bp+.Gemma Robles, Francisco Salto & José M. Méndez - 2005 - Bulletin of the Section of Logic 34 (3):177-190.
A constructive negation for logics including TW+.Gemma Robles & José M. Méndez - 2005 - Journal of Applied Non-Classical Logics 15 (4):389-404.
A constructive negation for logics including TW.Gemma Robles—José M. Méndez - 2005 - Journal of Applied Non-Classical Logics 15 (4).
Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation.José M. Méndez & Gemma Robles - 2007 - Logic and Logical Philosophy 15 (3):175-191.
Conservativity of Heyting implication over relevant quantification.Robert Goldblatt - 2009 - Review of Symbolic Logic 2 (2):310-341.

Analytics

Added to PP
2013-12-16

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Francisco Salto
Universidad de León
Gemma Robles
Universidad de León
José M. Méndez
Universidad de Salamanca

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references