Natural deduction and normal form for intuitionistic linear logic

Archive for Mathematical Logic (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Normal deduction in the intuitionistic linear logic.G. Mints - 1998 - Archive for Mathematical Logic 37 (5-6):415-425.
A normalizing system of natural deduction for intuitionistic linear logic.Sara Negri - 2002 - Archive for Mathematical Logic 41 (8):789-810.
Varieties of linear calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
A Problem of Normal Form in Natural Deduction.Jan von Plato - 2000 - Mathematical Logic Quarterly 46 (1):121-124.
Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.
Natural deduction for intuitionistic linear logic.A. S. Troelstra - 1995 - Annals of Pure and Applied Logic 73 (1):79-108.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Natural Semantics: Why Natural Deduction is Intuitionistic.James W. Garson - 2001 - Theoria 67 (2):114-139.
The finite model property for various fragments of intuitionistic linear logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
A labelled natural deduction system for linear temporal logic.Andrzej Indrzejczak - 2003 - Studia Logica 75 (3):345 - 376.

Analytics

Added to PP
2014-03-21

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?

Author's Profile

Citations of this work

Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
For Oiva Ketonen's 85th birthday.Sara Negri & Jan von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
Rereading Gentzen.Jan Von Plato - 2003 - Synthese 137 (1-2):195 - 209.

Add more citations

References found in this work

No references found.

Add more references