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.