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. As a by-product we obtain a Kripke-style frame semantics for these logics. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Orłowska, E., & Radzikowska, A. M. (2006). Relational representability for algebras of substructural logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3929 LNCS, pp. 212–224). Springer Verlag. https://doi.org/10.1007/11734673_17
Mendeley helps you to discover research relevant for your work.