Michal Krynicki Hierarchies of Partially Ordered Connectives and Quantifiers. 287-294 1993 39 Math. Log. Q. db/journals/mlq/mlq39.html#Krynicki93