Geometry of super-Łukasiewicz logics
Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale · Journal of Logic and Computation · 2021
Abstract In this work, we provide constructions, characterizations, geometrical dualities and a McNaughton theorem for non-archimedean MV-algebras, which are the semantics of super-Łukasiewicz logics introduced by Komori.