Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic

Journal of Symbolic Logic 56 (4):1403-1451 (1991)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275485
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,954
Through your library

References found in this work BETA

Non‐Commutative Intuitionistic Linear Logic.V. Michele Abrusci - 1990 - Mathematical Logic Quarterly 36 (4):297-318.
Non-Commutative Intuitionistic Linear Logic.V. Michele Abrusci - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):297-318.

Add more references

Citations of this work BETA

Symmetric Categorial Grammar.Michael Moortgat - 2009 - Journal of Philosophical Logic 38 (6):681-710.
Linear Läuchli Semantics.R. F. Blute & P. J. Scott - 1996 - Annals of Pure and Applied Logic 77 (2):101-142.

View all 8 citations / Add more citations

Similar books and articles

Socratic Proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.
Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.
A Completeness Theorem for Symmetric Product Phase Spaces.Thomas Ehrhard - 2004 - Journal of Symbolic Logic 69 (2):340 - 370.
A Modal View of Linear Logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Varieties of Linear Calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.

Analytics

Added to PP index
2009-01-28

Total downloads
37 ( #173,843 of 2,293,884 )

Recent downloads (6 months)
5 ( #109,039 of 2,293,884 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature