Partially-Ordered Multi-Type Algebras, Display Calculi and the Category of Weakening Relations

Authors

Peter Jipsen, Chapman UniversityFollow
Fei Liang, University of Delft
M. Andrew Moshier, Chapman UniversityFollow
Apostolos Tzimoulis, University of Delft

Document Type

Article

Publication Date

8-2018

Abstract

"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]."

Comments

This paper was presented at the Logic, Algebra and Truth Degrees conference in August 2018.

Recommended Citation

Jipsen, P., Liang, F., Moshier, M. A., Tzimoulis, A. (2017) Partially-ordered multi-type algebras, display calculi and the category of weakening relations. Proceedings of LATD 2018.