Semantics for Substructural Logics
Hiroakia Ono · 1993
Abstract In this paper, we will discuss algebraic and Kripke-type semantics for logics lacking some or all structural rules, which are now called sub structural logics(for general information on sub structural logics, see, for example, Dosen [6], Ono [23] and Troelstra [33]). Various kinds of semantics for sub structural logics have been introduced and studied in recent years; for instance, (intuitionistic) phase structures (Girard [9], Abrusci [1]), pretopologies(Sambin [31], [32]), quantales(Rosenthal [27], [28], Yetter [34]), Kripke-type semantics (Dosen [4], [5], Ono-Komori [26], Ono [22]) and coherence semantics(Girard [9], also Troelstra [33]).