1. Synthesized substructural logics.
- Author
-
Kamide, Norihiro
- Subjects
COMBINATORIAL set theory ,COMBINATORICS ,ELIMINATION (Mathematics) ,MATHEMATICAL analysis ,MATHEMATICAL models ,MATHEMATICAL logic - 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. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim) [ABSTRACT FROM AUTHOR]
- Published
- 2007
- Full Text
- View/download PDF