Logiche sottostrutturali
Abstract This paper is a gentle introduction to substructural logics, a family of logics generalizing classical logic. First of all, we present Gentzen formulation of classical logic, and then we discuss in some detail the motivations behind its substructural generalizations.…