Coherent model of pure proof nets

&
Archive for Mathematical Logic 33 (2):131-158 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,174

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

My notes

Similar books and articles

Proof nets of PN as graphs.Eric Duquesne & Jacques Van de Wiele - 1995 - Archive for Mathematical Logic 34 (1):1-20.
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 multiplicative non-commutative proof nets.Roberto Maieli - 2003 - Archive for Mathematical Logic 42 (3):205-220.
Coherent obsessional experiments for linear logic proof-nets.Lorenzo Tortora de Falco - 2001 - Bulletin of Symbolic Logic 7 (1):154-171.
Homology of proof-nets.François Métayer - 1994 - Archive for Mathematical Logic 33 (3):169-188.
On the Jordan-Hölder decomposition of proof nets.Quintijn Puite & Harold Schellinx - 1997 - Archive for Mathematical Logic 37 (1):59-65.
Proof nets sequentialisation in multiplicative linear logic.Paolo Di Giamberardino & Claudia Faggian - 2008 - Annals of Pure and Applied Logic 155 (3):173-182.
On the Decidability of Model Checking for Several [mu]-calculi and Petri Nets.Javier Esparza - 1993 - LFCS, Department of Computer Science, University of Edinburgh.
A model of $$\mathsf {ZFA}+ \mathsf {PAC}$$ ZFA + PAC with no outer model of $$\mathsf {ZFAC}$$ ZFAC with the same pure part.Paul Larson & Saharon Shelah - 2018 - Archive for Mathematical Logic 57 (7-8):853-859.
A semantical proof of the strong normalization theorem for full propositional classical natural deduction.Karim Nour & Khelifa Saber - 2006 - Archive for Mathematical Logic 45 (3):357-364.

Analytics

Added to PP
2014-03-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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