Work

On pseudo BL-algebras and pseudo hoops with normal maximal filters