- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Synthesized substructural logics
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.My notes
Similar books and articles
Synthesized substructural logics.Norihori Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.
Cut Elimination In Noncommutative Substructural Logics.Bayu Surarso & Hiroakira Ono - 1996 - Reports on Mathematical Logic:13-29.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Algebraic proof theory for substructural logics: cut-elimination and completions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2012 - Annals of Pure and Applied Logic 163 (3):266-290.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
Glivenko theorems and negative translations in substructural predicate logics.Hadi Farahani & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):695-707.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.Eunsuk Yang - forthcoming - Studia Logica:1-29.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Analytics
Added to PP
2013-12-01
Downloads
21 (#173,985)
6 months
8 (#1,326,708)
2013-12-01
Downloads
21 (#173,985)
6 months
8 (#1,326,708)
Historical graph of downloads
Citations of this work
Interpolation via translations.João Rasga, Walter Carnielli & Cristina Sernadas - 2009 - Mathematical Logic Quarterly 55 (5):515-534.
References found in this work
Quantized linear logic, involutive quantales and strong negation.Norihiro Kamide - 2004 - Studia Logica 77 (3):355-384.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-5pqs9 uwo