Partially-Ordered Multi-Type Algebras, Display Calculi and the Category of Weakening Relations
Peter Jipsen, Fei Liang, M. Andrew Moshier, Apostolos Tzimoulis · Chapman University Digital Commons (Chapman University) · 2018
"We define partially-ordered multi-type algebras and use them as algebraic semantics for multi-type display calculi that have recently been developed for several logics, including dynamic epistemic logic [7], linear logic[10], lattice logic [11], bilattice logic [9] and semi-De Morgan logic [8]."