Kripke-Galois Frames and their Logics.

This article introduces Kripke–Galois frames and, more specifically, τ -frames for a similarity type τ, and studies their logics. τ -logics include a number of well-known logic systems and we focus here on providing a semantic treatment of familiar substructural logics, ranging from the Full Lambek and Lambek– Grishin calculi, to Linear Logic (with, or without exponentials) and to non- distributive Relevance Logic.

Authors

• Chrysafis Hartonas

Keywords

• gaggle theory
• Lambek calculus
• linear logic
• non-distributive logics
• relational semantics
• relevance logic