Lattices related to Post algebras and their applications to some logical systems
scientific article; zbMATH DE number 3601587