Ordered Algebraic Structures: Nanjing (Algebra, Logic & Applications)