Models for substructural arithmetics
| Abstract | This paper explores models for arithmetics in substructural logics. In the existing literature on substructural arithmetic, frame semantics for substructural logics are absent. We will start to fill in the picture in this paper by examining frame semantics for the substructural logics C (linear logic plus distribution), R (relevant logic) and CK (C plus weakening). The eventual goal is to find negation complete models for arithmetic in R. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesHeinrich Wansing (1993). Informational Interpretation of Substructural Propositional Logics. Journal of Logic, Language and Information 2 (4):285-308.
Ken-etsu Fujita (1998). On Proof Terms and Embeddings of Classical Substructural Logics. Studia Logica 61 (2):199-221.
Lou Goble (2007). Combinatory Logic and the Semantics of Substructural Logics. Studia Logica 85 (2):171 - 197.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Norihiro Kamide (2003). Normal Modal Substructural Logics with Strong Negation. Journal of Philosophical Logic 32 (6):589-612.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. Journal of Philosophical Logic 27 (2):179-216.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads9 ( #114,230 of 549,754 )Recent downloads (6 months)1 ( #63,425 of 549,754 )How can I increase my downloads? |
My notes
Discussion
