First-order substructural logics

Abstrakt

Substructural logics are a prominent family of non-classical logics whose complete semantics is given by classes of residuated lattices. While there is a vast literature on all thinkable aspects of propositional substructural logics, the works focusing on first-order predicate substructural logics are few and far between (with most prominent contributions by Hiroakira Ono.