Categorical models for relevant logics

• Autores: M. Claudia Meré, Valeria V. C. de Paiva
• Localización: Panel '92: actas, XVIII Conferencia Latinoamericana de Informática, 1992, págs. 771-778
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • In this note we try to understand and present some of the relevant logics in what we think is the mathematically tidier way. Since we want to use Category Theory for our models, we want to have (cut-free) Gentzen-style sequent calculus formulations for our systems. We present the systems, discuss their semantics (categorical and algebraic) and then relate them to the existing Relevant Logics