Abstract
To express fine-grained resource-sensitive reasoning, a temporal soft linear logic is introduced as an extension of both Girard's linear logic and Lafont's soft linear logic. It is known that the linear exponential operator in CLL can express a specific infinitely reusable resource, i.e. it is reusable not only for any number, but also many times. In contrast, the soft exponential operator in SLL, which is a weak version of the linear exponential operator, can express a specific usable resource, i.e. it is usable in any number, but only once. In TSLL, the resource operators and some temporal operators are combined based on the interpretation that “time” is regarded as a “resource”. The completeness theorem for TSLL and the cut-elimination and decidability theorems for some subsystems of TSLL are proved as the main results of this paper. A decidable subsystem, called a bounded soft linear logic, which has a restricted soft exponential operator, can represent a specific finitely usable resource.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.3166/jancl.17.63-89
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,241
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

Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Exchange Rules.Mario Piazza - 2001 - Journal of Symbolic Logic 66 (2):509-516.
A Scalar Implicature-Based Approach to Neg-Raising.Jacopo Romoli - 2013 - Linguistics and Philosophy 36 (4):291-353.
Soft Ordered Semigroups.Young Bae Jun, Kyoung Ja Lee & Asghar Khan - 2010 - Mathematical Logic Quarterly 56 (1):42-50.
Resource Allocation: A Plea for a Touch of Realism.P. Whitaker - 1990 - Journal of Medical Ethics 16 (3):129-131.
Against “Soft” Statistical Information.Daniel M. Kraemer - 2015 - Philosophical Psychology 28 (1):139-147.
Dynamic Non-Commutative Logic.Norihiro Kamide - 2010 - Journal of Logic, Language and Information 19 (1):33-51.

Analytics

Added to PP index
2013-12-30

Total views
6 ( #1,024,941 of 2,325,379 )

Recent downloads (6 months)
2 ( #451,872 of 2,325,379 )

How can I increase my downloads?

Downloads

My notes