Switch to: Citations

References in:

Connectification forn-contraction

Andreja Prijatelj

Studia Logica 54 (2):149 - 171 (1995)

Add references

You must login to add references.

Lectures on Linear Logic.Anne Sjerp Troelstra - 1992 - Center for the Study of Language and Information Publications.details The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets. Download Export citation Bookmark 49 citations
Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.details Download Export citation Bookmark 126 citations
On the Freyd cover of a topos.Ieke Moerdijk - 1983 - Notre Dame Journal of Formal Logic 24 (4):517-526.details Download Export citation Bookmark 1 citation
The Lambek calculus enriched with additional connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.details Some formal properties of enriched systems of Lambek calculus with analogues of conjunction and disjunction are investigated. In particular, it is proved that the class of languages recognizable by the Lambek calculus with added intersective conjunction properly includes the class of finite intersections of context-free languages. Download Export citation Bookmark 20 citations

1