共 50 条
- [34] Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties Order, 2006, 23 : 297 - 319
- [35] Categorical abstract algebraic logic: Ordered equational logic and algebraizable PoVarieties ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2006, 23 (04): : 297 - 319