M. A. Arslanov, S. Lempp, R. A. Shore, S. Artemov, V. Krupski, A. Dabrowski, L. S. Moss, R. Parikh, T. Eiter & G. Gottlob
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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
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.
Using Hybrid Logic for Coping with Functions in Subset Spaces.Bernhard Heinemann - 2010 - Studia Logica 94 (1):23-45.
Similar books and articles
Linear Logic for Nets with Bounded Resources.Dmitry A. Archangelsky, Mikhail I. Dekhtyar & Mikhail A. Taitslin - 1996 - Annals of Pure and Applied Logic 78 (1-3):3-28.
Linear Logic with Fixed Resources.Dmitry A. Archangelsky & Mikhail A. Taitslin - 1994 - Annals of Pure and Applied Logic 67 (1-3):3-28.
Master Index to Volumes 71-80.K. A. Abrahamson, R. G. Downey, M. R. Fellows, A. W. Apter, M. Magidor, M. I. da ArchangelskyDekhtyar, M. A. Taitslin, M. A. Arslanov & S. Lempp - 1996 - Annals of Pure and Applied Logic 80:293-298.
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.
Lambda Calculus and Intuitionistic Linear Logic.Simona Ronchi Della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
Normalizable Linear Orders and Generic Computations in Finite Models.Alexei P. Stolboushkin & Michael A. Taitslin - 1999 - Archive for Mathematical Logic 38 (4-5):257-271.
An Analysis of Gödel's Dialectica Interpretation Via Linear Logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
A Modal View of Linear Logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Belegradek, OV, Stolhoushkin, AP and Taitslin, MA.M. Benedikt, N. Danner, G. Gottlob, N. Leone, H. Veith, G. Jaiger, T. Strahm, F. Kamareddine, R. Bloo & R. Nederpelt - 1999 - Annals of Pure and Applied Logic 97 (26):1.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57:161-184.
Lambda Calculus and Intuitionistic Linear Logic.Simona Ronchi della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
The Finite Model Property for Knotted Extensions of Propositional Linear Logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
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 )
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.
Sorry, there are not enough data points to plot this chart.
