Classical linear logics with mix separation principle

Mathematical Logic Quarterly 49 (2):201-209 (2003)
  Copy   BIBTEX

Abstract

Variants of classical linear logics are presented based on the modal version of new structural rule !?mingle instead of the known rules !weakening and ?weakening. The cut-elimination theorems, the completeness theorems and a characteristic property named the mix separation principle are proved for these logics.

Categories

Keywords

Reprint years

DOI

10.1002/malq.200310019

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

Rule Separation and Embedding Theorems for Logics Without Weakening.Clint J. van Alten & James G. Raftery - 2004 - Studia Logica 76 (2):241-274.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Substructural logics with Mingle.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (2):227-249.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Symmetric and dual paraconsistent logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality.Norihiro Kamide - 2019 - Logic and Logical Philosophy 28 (3):481-511.
Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.
A separation theorem for discrete-time interval temporal logic.Dimitar P. Guelev & Ben Moszkowski - 2022 - Journal of Applied Non-Classical Logics 32 (1):28-54.
Gentzen-Type Methods for Bilattice Negation.Norihiro Kamide - 2005 - Studia Logica 80 (2-3):265-289.
Linear Set Theory.Masaru Shirahata - 1994 - Dissertation, Stanford University

Analytics

Added to PP
2013-12-01

Downloads
14 (#1,385,309)

6 months
1 (#1,601,934)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Multiplicative Conjunction as an Extensional Conjunction.Arnon Avron - 1997 - Logic Journal of the IGPL 5 (2):181-208.
Substructural logics with Mingle.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (2):227-249.

Add more references