Studia Logica 57 (2-3):437 - 456 (1996)

In this paper, we consider multiplicative-additive fragments of affine propositional classical linear logic extended with n-contraction. To be specific, n-contraction (n 2) is a version of the contraction rule where (n+ 1) occurrences of a formula may be contracted to n occurrences. We show that expansions of the linear models for (n + 1)- valued ukasiewicz logic are models for the multiplicative-additive classical linear logic, its affine version and their extensions with n-contraction. We prove the finite axiomatizability for the classes of finite models, as well as for the class of infinite linear models based on the set of rational numbers in the interval [0, 1]. The axiomatizations obtained in a Gentzen-style formulation are equivalent to finite and infinite-valued ukasiewicz logics.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370844
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,107
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Natural 3-Valued Logics—Characterization and Proof Theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.
Lectures on Linear Logic.Anne Sjerp Troelstra - 1991 - Center for the Study of Language and Information Publications.
Axiom Schemes for M-Valued Propositional Calculi.J. B. Rosser & A. R. Turquette - 1945 - Journal of Symbolic Logic 10 (3):61-82.

View all 10 references / Add more references

Citations of this work BETA

Finiteness in Infinite-Valued Łukasiewicz Logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.

View all 9 citations / Add more citations

Similar books and articles

A Survey of Multiple Contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.
A Cut-Free Gentzen Formulation of Basic Propositional Calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.
How to Be Really Contraction Free.Greg Restall - 1993 - Studia Logica 52 (3):381 - 391.
Finiteness in Infinite-Valued Łukasiewicz Logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Expansion and Contraction of Finite States.Allard Tamminga - 2004 - Studia Logica 76 (3):427-442.
Connectification Forn-Contraction.Andreja Prijatelj - 1995 - Studia Logica 54 (2):149 - 171.


Added to PP index

Total views
29 ( #379,426 of 2,454,616 )

Recent downloads (6 months)
1 ( #449,377 of 2,454,616 )

How can I increase my downloads?


My notes