A new postulate-system for modular lattices.
Bolesław Sobociński · Notre Dame Journal of Formal Logic · 1975
A NEW POSTULATE-SYSTEM FOR MODULAR LATTICES PR [αδφHp(l) .=>. (flΠc)Πδ = ((« n«)u (((α Π c) Π (a Π c)) u ({a Π c) Π b))) Π ((α Π c) Π b) [1; ££, α/(β Πc)ίlδ, b/(a 0 c) Π (a Π c), c/a Π α]*See final remark, NB, at the end of this paper.