TY - RPRT TI - IKT$^ω$ and Łukasiewicz-models AU - Andreas Fjellstad AU - Jan-Fredrik Olsen PY - 2021 UR - https://arxiv.org/abs/2011.06991 ID - 2011.06991 ER -