Models for substructural arithmetics

Abstract

This paper explores models for arithmetic 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 , R and CK . The eventual goal is to find negation complete models for arithmetic in R

Categories

Keywords

Reprint years

DOI

10.26686/ajl.v8i0.1814

Other Versions

original Restall, Greg (2010) "Models for Substructural Arithmetics". Australasian Journal of Logic 8():82-99

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Collection Frames for Distributive Substructural Logics.Greg Restall & Shawn Standefer - 2023 - Review of Symbolic Logic 16 (4):1120-1157.
Informational interpretation of substructural propositional logics.Heinrich Wansing - 1993 - Journal of Logic, Language and Information 2 (4):285-308.
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
A Canonical Model Construction For Substructural Logics With Strong Negation.N. Kamide - 2002 - Reports on Mathematical Logic:95-116.
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.Eunsuk Yang - 2024 - Studia Logica 112 (4):805-833.
Algebraic relational semantics for basic substructural logics.E. Yang - 2020 - Logique Et Analyse 252:415-441.
Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Information, awareness and substructural logics.Igor Sedlár - 2013 - In Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz, Logic, Language, Information and Computation (Lecture Notes in Computer Science 8071). Springer. pp. 266-281.

Analytics

Added to PP
2009-01-28

Downloads
110 (#444,307)

6 months
10 (#1,122,269)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Greg Restall
Greg Restall
University of Melbourne

Citations of this work

Assertion, denial and non-classical theories.Greg Restall - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli, Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 81--99.
Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli, Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 15--25.
Distribution in the logic of meaning containment and in quantum mechanics.Ross T. Brady & Andrea Meinander - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli, Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 223--255.

View all 22 citations / Add more citations

References found in this work

Inconsistent models for relevant arithmetics.Robert Meyer & Chris Mortensen - 1984 - Journal of Symbolic Logic 49 (3):917-929.
Logic on the australian plan.Robert K. Meyer & Errol P. Martin - 1986 - Journal of Philosophical Logic 15 (3):305 - 332.

Add more references