Simplified gentzenizations for contraction-less logics

Logique Et Analyse (forthcoming)
  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,139

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

Simple gentzenizations for the formal formulae of contraction-less logics.Ross T. Brady - 1996 - Journal of Symbolic Logic 61 (4):1321-1346.
Gentzenizations of relevant logics without distribution. I.Ross T. Brady - 1996 - Journal of Symbolic Logic 61 (2):353-378.
Gentzenizations of relevant logics without distribution. II.Ross T. Brady - 1996 - Journal of Symbolic Logic 61 (2):379-401.
Gentzenizations of relevant logics with distribution.Ross T. Brady - 1996 - Journal of Symbolic Logic 61 (2):402-420.
Simplified semantics for relevant logics (and some of their rivals).Greg Restall - 1993 - Journal of Philosophical Logic 22 (5):481 - 511.
A metacompleteness theorem for contraction-free relevant logics.John K. Slaney - 1984 - Studia Logica 43 (1-2):159 - 168.
How to be R eally Contraction-Free.Greg Restall - 1993 - Studia Logica 52 (3):381 - 391.
The contraction rule and decision problems for logics without structural rules.Eiji Kiriyama & Hlroakira Ono - 1991 - Studia Logica 50 (2):299 - 319.
Gentzenization and decidability of some contraction-less relevant logics.Ross T. Brady - 1991 - Journal of Philosophical Logic 20 (1):97 - 117.
Note on Deduction Theorems in contraction‐free logics.Karel Chvalovský & Petr Cintula - 2012 - Mathematical Logic Quarterly 58 (3):236-243.
Connectification forn-contraction.Andreja Prijatelj - 1995 - Studia Logica 54 (2):149 - 171.
Semantical analysis of predicate logics without the contraction rule.Hiroakira Ono - 1985 - Studia Logica 44 (2):187 - 196.
Errata to Cambridge Computer Laboratory technical report number 257: Cut-free sequent and tableau systems for propositional normal modal logics by.Rajeev Gore - unknown
The concept of contraction in Giordano Bruno's philosophy.Leo Catana - 2005 - Burlington, VT: Ashgate.
Three Approaches to Iterated Belief Contraction.Raghav Ramachandran, Abhaya C. Nayak & Mehmet A. Orgun - 2012 - Journal of Philosophical Logic 41 (1):115-142.

Analytics

Added to PP
2014-01-22

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?

Citations of this work

Simplified semantics for relevant logics (and some of their rivals).Greg Restall - 1993 - Journal of Philosophical Logic 22 (5):481 - 511.
Semantic Decision Procedures for Some Relevant Logics.Ross Brady - 2003 - Australasian Journal of Logic 1:4-27.

Add more citations

References found in this work

No references found.

Add more references