Archive for Mathematical Logic 34 (1):1-20 (1995)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01269873
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: 59,677
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

No citations found.

Add more citations

Similar books and articles

Planar and Braided Proof-Nets for Multiplicative Linear Logic with Mix.G. Bellin & A. Fleury - 1998 - Archive for Mathematical Logic 37 (5-6):309-325.
A New Correctness Criterion for Cyclic Proof Nets.V. Michele Abrusci & Elena Maringelli - 1998 - Journal of Logic, Language and Information 7 (4):449-459.
Interpolation in Fragments of Classical Linear Logic.Dirk Roorda - 1994 - Journal of Symbolic Logic 59 (2):419-444.
Completeness of MLL Proof-Nets W.R.T. Weak Distributivity.Jean-Baptiste Joinet - 2007 - Journal of Symbolic Logic 72 (1):159 - 170.
On the Jordan-Hölder Decomposition of Proof Nets.Quintijn Puite & Harold Schellinx - 1997 - Archive for Mathematical Logic 37 (1):59-65.
Homology of Proof-Nets.François Métayer - 1994 - Archive for Mathematical Logic 33 (3):169-188.
Proof Nets and the Complexity of Processing Center Embedded Constructions.Mark Johnson - 1998 - Journal of Logic, Language and Information 7 (4):433-447.
Graphs with ∏ 1 0 (K)Y-Sections.Boško Živaljević - 1993 - Archive for Mathematical Logic 32 (4):259-273.
The Cost of a Cycle is a Square.A. Carbone - 2002 - Journal of Symbolic Logic 67 (1):35-60.

Analytics

Added to PP index
2013-11-23

Total views
17 ( #600,245 of 2,432,203 )

Recent downloads (6 months)
1 ( #467,285 of 2,432,203 )

How can I increase my downloads?

Downloads

My notes