The Truncated Birkhoff Completion
In the Birkhoff completion, certain concepts, especially in the lower part of the lattice, are generated by new objects derived from implications. However, these objects may introduce inconsistent or unrealistic combinations of attributes. Truncating the lattice by eliminating such inconsistencies ensures a more meaningful and applicable structure, particularly in real-world scenarios. This project aims to study the truncated Birkhoff completion as a method for addressing inconsistencies that arise in lattice structures generated through the Birkhoff completion of non-distributive lattices.
Inquiries: Mohammad Abdulla