Harold Schellinx

Lorenzo Tortora de Falco

J. Symb. Log., 2002

Preface.

[BibT_eX]

[DOI]

Jaap van Oosten

Ann. Pure Appl. Log., 2002

1998

Basic Proof Theory, A.S. Troelstra and H. Schwichtenberg.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1998

1997

A New Deconstructive Logic: Linear Logic.

[BibT_eX]

[DOI]

J. Symb. Log., 1997

On the Jordan-Hölder decomposition of proof nets.

[BibT_eX]

[DOI]

Quintijn Puite

Arch. Math. Log., 1997

1996

Computational isomorphisms in classical logic.

[BibT_eX]

[DOI]

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Strong Normalization for All-Style LK.

[BibT_eX]

[DOI]

Lorenzo Tortora de Falco

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

1995

On the linear decoration of intuitionistic derivations.

[BibT_eX]

[DOI]

Arch. Math. Log., 1995

1994

Extending Intuitionistic Linear Logic with Knotted Structural Rules.

[BibT_eX]

[DOI]

Ryuichi Hori

Hiroakira Ono

Notre Dame J. Formal Log., 1994

1993

The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1991

Some Syntactical Observations on Linear Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 1991

Isomorphisms and Nonisomorphisms of Graph Models.

[BibT_eX]

[DOI]

J. Symb. Log., 1991

Collapsing Graph Models by Preorders.

[BibT_eX]

[DOI]

Raymond Hoofman