Back to Search Start Over

Synthesized substructural logics.

Authors :
Kamide, Norihiro
Source :
Mathematical Logic Quarterly. May2007, Vol. 53 Issue 3, p219-225. 7p.
Publication Year :
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. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim) [ABSTRACT FROM AUTHOR]

Subjects

Subjects :
*COMBINATORIAL set theory
*COMBINATORICS
*ELIMINATION (Mathematics)
*MATHEMATICAL analysis
*MATHEMATICAL models
*MATHEMATICAL logic

Details

Language :
English
ISSN :
09425616
Volume :
53
Issue :
3
Database :
Academic Search Index
Journal :
Mathematical Logic Quarterly
Publication Type :
Academic Journal
Accession number :
25200736
Full Text :
https://doi.org/10.1002/malq.200610036
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details