A Canonical Model Construction for Substructural Logics


In this paper, we introduce a class of substructural logics, called normal substructural logics, which includes not only relevant logic, BCK logic, linear logic and the Lambek calculus but also weak logics with strict implication, and de ne Kripkestyle semantics (Kripke frames and models) for normal substructural logics. Then we show a correspondence… (More)
DOI: 10.3217/jucs-006-01-0155


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics