Informational interpretation of substructural propositional logics

Journal of Logic, Language and Information 2 (4):285-308 (1993)
  Copy   BIBTEX

Abstract

This paper deals with various substructural propositional logics, in particular with substructural subsystems of Nelson's constructive propositional logics N– and N. Doen's groupoid semantics is extended to these constructive systems and is provided with an informational interpretation in terms of information pieces and operations on information pieces.

Categories

Keywords

Reprint years

DOI

10.1007/bf01181683

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: 106,894

External links

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

Through your library

My notes

Similar books and articles

A Canonical Model Construction For Substructural Logics With Strong Negation.N. Kamide - 2002 - Reports on Mathematical Logic:95-116.
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.
The basic constructive logic for negation-consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
Double Negation as Minimal Negation.Satoru Niki - 2023 - Journal of Logic, Language and Information 32 (5):861-886.
The basic constructive logic for absolute consistency.José M. Méndez & Gemma Robles - 2009 - Journal of Logic, Language and Information 18 (2):199-216.
The basic constructive logic for a weak sense of consistency.Gemma Robles & José M. Méndez - 2008 - Journal of Logic, Language and Information 17 (1):89-107.
Constructive Logic with Strong Negation is a Substructural Logic. II.M. Spinks & R. Veroff - 2008 - Studia Logica 89 (3):401-425.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.

Analytics

Added to PP
2009-01-28

Downloads
73 (#314,627)

6 months
13 (#267,047)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum

Citations of this work

Substructural inquisitive logics.Vít Punčochář - 2019 - Review of Symbolic Logic 12 (2):296-330.
Connexive Conditional Logic. Part I.Heinrich Wansing & Matthias Unterhuber - 2019 - Logic and Logical Philosophy 28 (3):567-610.
Logics for modelling collective attitudes.Daniele Porello - 2018 - Fundamenta Informaticae 158 (1-3):239-27.

View all 14 citations / Add more citations

References found in this work

Conjectures and Refutations.K. Popper - 1962 - Les Etudes Philosophiques 21 (3):431-434.
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.

View all 25 references / Add more references