Categories: How I Learned to Stop Worrying and Love Two Sorts

Willem Conradie, Sabine Frittella, Michele Piazzai +3

RS-frames were introduced by Gehrke as relational semantics for substructural logics. They are two-sorted structures, based on RS-polarities with additional relations used to inter…