Extensions of posets with an antitone involution to residuated structures

Ivan Chajda, Miroslav Kolařík, Helmut Länger

We prove that every not necessarily bounded poset P=(P,\le,') with an antitone involution can be extended to a residuated poset E(P)=(E(P),\le,\odot,\rightarrow,1) where x'=x\right…