Resumen de Categorical models for relevant logics

M. Claudia Meré, Valeria V. C. de Paiva

• 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