David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 75 (3):287 - 304 (2003)
We continue our work  on the logic of multisets (or on the multiset semantics of linear logic), by interpreting further the additive disjunction . To this purpose we employ a more general class of processes, called free, the axiomatization of which requires a new rule (not compatible with the full LL), the cancellation rule. Disjunctive multisets are modeled as finite sets of multisets. The -Horn fragment of linear logic, with the cut rule slightly restricted, is sound with respect to this semantics. Another rule, which is a slight modification of cancellation, added to HF makes the system sound and complete.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
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
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Kit Fine (2000). Semantics for the Logic of Essence. Journal of Philosophical Logic 29 (6):543-584.
Timothy Williamson (1991). An Alternative Rule of Disjunction in Modal Logic. Notre Dame Journal of Formal Logic 33 (1):89-100.
Yves Lafont (1996). The Undecidability of Second Order Linear Logic Without Exponentials. Journal of Symbolic Logic 61 (2):541-548.
Rajeev Gore & Revantha Ramanayake (2012). Valentini's Cut-Elimination for Provability Logic Resolved. Review of Symbolic Logic 5 (2):212-238.
Richard Evans (2010). Introducing Exclusion Logic as a Deontic Logic. DEON 2010 10 (1):179-195.
Added to index2009-01-28
Total downloads19 ( #243,680 of 1,925,507 )
Recent downloads (6 months)6 ( #140,729 of 1,925,507 )
How can I increase my downloads?