Semantics for structurally free logics LC+ (Q2743637)

The author addresses a problem emerging from joint work with \textit{J. M. Dunn} on structurally free logics [Log. J. IGPL 6, No. 3, 403-424 (1998; Zbl 0904.03006)]. In structurally free logics, combinators as formulas are used instead of structural sequent rules. Extensions LC+ of the basic structurally free logics LC are considered with additive conjunction and disjunction not distributing over each other. Such non-distributive logics naturally arise in sequent calculus formulations. The main contribution of the paper is a sound and complete set-theoretical, relational semantics for these logics. The canonical model construction uses minimally overlapping filter-ideal pairs. The semantics for LC+ also gives rise to a relational semantics for positive substructural logics with structural rules in place of combinators.