Synthesized substructural logics

Autores: Norihiro Kamide
Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 53, Nº. 3, 2007, págs. 219-225
Idioma: inglés
Texto completo no disponible (Saber más ...)
Resumen
- 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.