Logics without the contraction rule

&
Journal of Symbolic Logic 50 (1):169-201 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273798

Other Versions

No versions found

Links

PhilArchive

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

Semantical analysis of predicate logics without the contraction rule.Hiroakira Ono - 1985 - Studia Logica 44 (2):187 - 196.
Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2010 - Australasian Journal of Logic 8:50-81.
The contraction rule and decision problems for logics without structural rules.Eiji Kiriyama & Hlroakira Ono - 1991 - Studia Logica 50 (2):299 - 319.
Predicate logics without the structure rules.Yuichi Komori - 1986 - Studia Logica 45 (4):393 - 404.
Solution to a problem of Ono and Komori.John Slaney - 1989 - Journal of Philosophical Logic 18 (1):103 - 111.
Correction: Solution to a Problem of Ono and Komori. - 1992 - Journal of Philosophical Logic 21 (3):337-337.
The finite model property for the implicational fragment of IPC without exchange and contraction.C. J. van Alten & J. G. Raftery - 1999 - Studia Logica 63 (2):213-222.
Glivenko theorems revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
Note on Deduction Theorems in contraction‐free logics.Karel Chvalovský & Petr Cintula - 2012 - Mathematical Logic Quarterly 58 (3):236-243.
How to be R eally Contraction-Free.Greg Restall - 1993 - Studia Logica 52 (3):381 - 391.

Analytics

Added to PP
2009-01-28

Downloads
219 (#184,629)

6 months
57 (#156,443)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Hiroakira Ono
Hiroakira Ono
Japan Advanced Institute of Science and Technology

Citations of this work

True, Untrue, Valid, Invalid, Provable, Unprovable.Zach Weber - forthcoming - Logic and Logical Philosophy:1-29.
A general logic.John Slaney - 1990 - Australasian Journal of Philosophy 68 (1):74 – 88.
Sequent-systems and groupoid models. I.Kosta Došen - 1988 - Studia Logica 47 (4):353-385.

View all 111 citations / Add more citations

References found in this work

Models for entailment.Kit Fine - 1974 - Journal of Philosophical Logic 3 (4):347 - 372.
An Interpretation of Many-Valued Logic.Alasdair Urquhart - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (7):111-114.
An Interpretation of Many‐Valued Logic.Alasdair Urquhart - 1973 - Mathematical Logic Quarterly 19 (7):111-114.

Add more references