Extending intuitionistic linear logic with knotted structural rules

Notre Dame Journal of Formal Logic 35 (2):219-242 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,894

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Structural rules of inference.Hugues Leblanc - 1962 - Notre Dame Journal of Formal Logic 3 (3):201-205.
On strengthening intuitionistic logic.Richard E. Vesley - 1963 - Notre Dame Journal of Formal Logic 4 (1):80-80.
Infinitary propositional intuitionistic logic.Craig Kalicki - 1980 - Notre Dame Journal of Formal Logic 21 (2):216-228.
Probabilistic semantics for intuitionistic logic.Charles Morgan & Hugues Leblanc - 1983 - Notre Dame Journal of Formal Logic 24 (2):161-180.
Definable Operators on Hilbert Spaces.Isaac Goldbring - 2012 - Notre Dame Journal of Formal Logic 53 (2):193-201.
On modal renderings of intuitionistic propositional logic.Nicholas Rescher - 1966 - Notre Dame Journal of Formal Logic 7 (3):277-280.
Epistemic semantics for classical and intuitionistic logic.John N. Martin - 1984 - Notre Dame Journal of Formal Logic 25 (2):105-116.
Nonstandard connectives of intuitionistic propositional logic.Michael Kaminski - 1988 - Notre Dame Journal of Formal Logic 29 (3):309-331.
Intuitionistic negation.W. Russell Belding - 1971 - Notre Dame Journal of Formal Logic 12 (2):183-187.

Analytics

Added to PP
2010-08-24

Downloads
39 (#651,403)

6 months
6 (#745,008)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hiroakira Ono
Japan Advanced Institute of Science and Technology

Citations of this work

Routes to triviality.Susan Rogerson & Greg Restall - 2004 - Journal of Philosophical Logic 33 (4):421-436.
Substructural logics with Mingle.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (2):227-249.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references