TY  - RPRT
TI  - Normal forms and representable functions in Moisil logic
AU  - Andrei Sipos
PY  - 2026
UR  - https://arxiv.org/abs/2304.00288
ID  - 2304.00288
ER  -