Based on Lambek calculus and residuated lattices, psUL has been proposed by Metcalfe, Olivetti and Gabbay as a non-commutative version of the uninorm logic UL, but until recently the corresponding research has been lacking. The present paper mainly surveys the schematic extensions of psUL as well as the relation between non-commutative logics having been studied based on pseudo-t-norm. In particular, using a diagram, we display the features and connections between these logics.
['Minxia Luo', 'Ning Yao']
Some extensions of the logic psUL