Differential nets, experiments and reduction

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

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.
Visible acyclic differential nets, Part I: Semantics.Michele Pagani - 2012 - Annals of Pure and Applied Logic 163 (3):238-265.
A new correctness criterion for cyclic proof nets.V. Michele Abrusci & Elena Maringelli - 1998 - Journal of Logic, Language and Information 7 (4):449-459.
Differential Galois theory II.Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):181-191.
Two causal theories of counterfactual conditionals.Lance J. Rips - 2010 - Cognitive Science 34 (2):175-221.
Completeness of MLL Proof-Nets w.r.t. Weak Distributivity.Jean-Baptiste Joinet - 2007 - Journal of Symbolic Logic 72 (1):159 - 170.

Analytics

Added to PP
2015-05-01

Downloads
7 (#1,392,457)

6 months
1 (#1,478,456)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references