Annals of Pure and Applied Logic 78 (1-3):271 (1996)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(95)00062-3
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,981
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

The Single-Conclusion Proof Logic and Inference Rules Specification.Vladimir N. Krupski - 2001 - Annals of Pure and Applied Logic 113 (1-3):181-206.
A Grim Semantics For Logics of Belief.Christopher Steinsvold - 2008 - Journal of Philosophical Logic 37 (1):45-56.

Add more citations

Similar books and articles

Linear Logic with Fixed Resources.Dmitry A. Archangelsky & Mikhail A. Taitslin - 1994 - Annals of Pure and Applied Logic 67 (1-3):3-28.
RASP and ASP as a Fragment of Linear Logic.Stefania Costantini & Andrea Formisano - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):49-74.
A Modal View of Linear Logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57:161-184.
Logic at Tver '92.Anil Nerode & M. Taitslin - 1993 - Journal of Symbolic Logic 58 (3):1150-1150.
Local Computation in Linear Logic.Ugo Solitro & Silvio Valentini - 1993 - Mathematical Logic Quarterly 39 (1):201-212.

Analytics

Added to PP index
2014-03-25

Total views
1 ( #1,451,587 of 2,403,582 )

Recent downloads (6 months)
1 ( #551,240 of 2,403,582 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes