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

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.
Keywords Combining logics  cut‐elimination  substructural logic
Categories (categorize this paper)
DOI 10.1002/malq.200610036
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,447
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

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

Add more citations

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.
Normal Modal Substructural Logics with Strong Negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
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 index
2013-12-01

Total views
10 ( #800,263 of 2,326,393 )

Recent downloads (6 months)
1 ( #644,397 of 2,326,393 )

How can I increase my downloads?

Downloads

My notes