Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Algebra
Partially-Ordered Multi-Type Algebras, Display Calculi And The Category Of Weakening Relations, Peter Jipsen, Fei Liang, M. Andrew Moshier, Apostolos Tzimoulis
Partially-Ordered Multi-Type Algebras, Display Calculi And The Category Of Weakening Relations, Peter Jipsen, Fei Liang, M. Andrew Moshier, Apostolos Tzimoulis
Mathematics, Physics, and Computer Science Faculty Articles and Research
"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]."