Synthesized substructural logics

Mathematical Logic Quarterly 53 (3):219-225 (2007)
  Copy   BIBTEX

Abstract

A mechanism for combining any two substructural logics (e.g. linear and intuitionistic logics) is studied from a proof-theoretic point of view. The main results presented are cut-elimination and simulation results for these combined logics called synthesized substructural logics.

Categories

Keywords

Reprint years

DOI

10.1002/malq.200610036

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
Glivenko theorems and negative translations in substructural predicate logics.Hadi Farahani & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):695-707.
Models for substructural arithmetics.Greg Restall - 2010
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
On proof terms and embeddings of classical substructural logics.Ken-Etsu Fujita - 1998 - Studia Logica 61 (2):199-221.
Displaying and deciding substructural logics 1: Logics with contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
Meeting strength in substructural logics.Yde Venema - 1995 - Studia Logica 54 (1):3 - 32.
Informational interpretation of substructural propositional logics.Heinrich Wansing - 1993 - Journal of Logic, Language and Information 2 (4):285-308.
The finite model property for semilinear substructural logics.San-Min Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):268-273.

Analytics

Added to PP
2013-12-01

Downloads
18 (#814,090)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Interpolation via translations.João Rasga, Walter Carnielli & Cristina Sernadas - 2009 - Mathematical Logic Quarterly 55 (5):515-534.

Add more citations

References found in this work

Add more references