The existence of states on EQ-algebras
Operational semantics for positive ${\rm R}$.
Some results on primary filters in BL-algebras