Relational Representability for Algebras of Substructural Logics

Representation theorems for the algebras of substructural logics FL, FLe, FLc, and FLw are presented. The construction of the representation algebras is an extension of the constructions from Urquhart ([25]) and Allein and Dunn ([1]). Namely, the representation algebras are built from the frames, which are appropriately associated to substructural logics… (More)