Left Adjoint for Booleanization. - Josef Niederle (Appl. Categorical Struct., 1998)

Being a Proper Trapezoid Ordered Set Is a Comparability Invariant. - Josef Niederle (Order, 2000)

On Pseudocomplemented and Stone Ordered Sets. - Josef Niederle (Order, 2001)

On Pseudocomplemented and Stone Ordered Sets, Addendum. - Josef Niederle (Order, 2003)

Forbidden retracts for finite ordered sets of width at most four. - Josef Niederle (Discret. Math., 2008)

Super-Relational Fixed Point Property and Products in Ordered Sets. - Josef Niederle (Order, 2008)

Triple Representation Theorem for Homogeneous Effect Algebras. - Josef Niederle; Jan Paseka (ISMVL, 2012)

More about sharp and meager elements in Archimedean atomic lattice effect algebras. - Josef Niederle; Jan Paseka (Soft Comput., 2012)

Homogeneous orthocomplete effect algebras are covered by MV-algebras. - Josef Niederle; Jan Paseka (Fuzzy Sets Syst., 2013)

Musings about the Triple Representation Theorem for Effect Algebras. - Josef Niederle; Jan Paseka (Order, 2013)