olemus
loogika, milles
disjunktsioon ülaraja operatsioonina ja
konjunktsioon alaraja operatsioonina
moodustavad distributiivse võre
=
a logic where disjunction as upper limit operation
and conjunction as lower limit operation form a distributive lattice

ülevaateid
https://en.wikipedia.org/wiki/Distributive_property

https://www.jyb-logic.org/poona.pdf

https://hal.archives-ouvertes.fr/hal-01851509/document

vt ka
- distributiivsus
- matemaatiline loogika
- modulaarloogika
- konstruktiivloogika