TY  - RPRT
TI  - An algebraic analysis of implication in non-distributive logics
AU  - Ivan Chajda
AU  - Kadir Emir
AU  - Davide Fazio
AU  - Helmut Länger
AU  - Antonio Ledda
AU  - Jan Paseka
PY  - 2021
UR  - https://arxiv.org/abs/2105.08528
ID  - 2105.08528
ER  -