IKT${}^{\omega }$ and Łukasiewicz-models

Andreas Fjellstad, Jan-Fredrik Olsen

In this note, we show that the first-order logic IK${}^{\omega }$ is sound with regard to the models obtained from continuum-valued Łukasiewicz-models for first-order languages by treating t…