A Useful Substructural Logic

Logic Journal of the IGPL 2 (2):137-148 (1994)
  Copy   BIBTEX

Abstract

Formal systems seem to come in two general kinds: useful and useless. This is painting things starkly, but the point is important. Formal structures can either be used in interesting and important ways, or they can languish unused and irrelevant. Lewis' modal logics are good examples. The systems S4 and S5 are useful in many different ways. They map out structures that are relevant to a number of different applications. S1, S2 and S3 however, are not so lucky. They are little studied, and used even less. It has become dear that the structures described by S4 and S5 are important in different ways, while the structures described by S1 to S3 are not so important. In this paper, we will see another formal system with a number of different uses. We will examine a substructural logic which is important in a number of different ways. The logic of Peirce monoids, inspired by the logic of relations, is useful in the independent areas of linguistic types and information flow.In what follows I will describe the logic of Peirce monoids in its various guises, sketch out its main properties, and indicate why it is important. As proofs of theorems are readily available elsewhere in the literature, I simply sketch the relevant proofs here, and point the interested reader to where complete proofs can be found

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,542

External links

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

Through your library

Similar books and articles

A Deontic Counterpart of Lewis's S1.Kam Sing Leung & R. E. Jennings - 2005 - Notre Dame Journal of Formal Logic 46 (2):217-230.
From Hilbert proofs to consecutions and back.Tore Fjetland Øgaard - 2021 - Australasian Journal of Logic 18 (2):51-72.
Non-circular proofs and proof realization in modal logic.Ren-June Wang - 2014 - Annals of Pure and Applied Logic 165 (7-8):1318-1338.
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity.Steffen Lewitzka - 2023 - Journal of Logic, Language and Information 32 (3):441-471.
Cut-free double sequent calculus for S5.A. Indrzejczak - 1998 - Logic Journal of the IGPL 6 (3):505-516.
Semantic tableau versions of some normal modal systems with propositional quantifiers.Daniel Rönnedal - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 47 (4):505–536.
Correspondences between Gentzen and Hilbert Systems.J. G. Raftery - 2006 - Journal of Symbolic Logic 71 (3):903 - 957.
A Deontic Counterpart Of Lewis's S1.R. E. Jennings & Kam Leung - 2005 - Notre Dame Journal of Formal Logic 46 (2):217-230.

Analytics

Added to PP
2015-02-04

Downloads
27 (#851,257)

6 months
9 (#411,419)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Greg Restall
University of Melbourne

Citations of this work

Information flow and relevant logics.Greg Restall - 1996 - In Jerry Seligman & Dag Westerstahl (eds.), Logic, Language and Computation. Center for the Study of Language and Inf. pp. 463–477.
Quine and Slater on paraconsistency and deviance.Francesco Paoli - 2003 - Journal of Philosophical Logic 32 (5):531-548.
Information flow and impossible situations.Sebastian Sequoiah-Grayson - 2006 - Logique Et Analyse 49 (196):371-398.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references