TY  - RPRT
TI  - Bounded distributive lattices with strict implication and weak difference
AU  - Sergio Celani
AU  - Agustín Nagy
AU  - William Zuluaga Botero
PY  - 2023
UR  - https://arxiv.org/abs/2312.10873
ID  - 2312.10873
ER  -