TY  - RPRT
TI  - Non-commutative propositional logic with short-circuited biconditional and NAND
AU  - Dalia Papuc
AU  - Alban Ponse
PY  - 2022
UR  - https://arxiv.org/abs/2203.09321
ID  - 2203.09321
ER  -