Geometry of super-Łukasiewicz logics. (20th September 2021)

• Record Type: Journal Article
• Authors: Di Nola, Antonio; Lenzi, Giacomo; Vitale, Gaetano
• Is Part Of: Journal of logic and computation. Volume 32:Number 3(2022)
• Page Start: 608
• Page End: 629
• Publication Date: 2021-09-20
• Subjects: MV-algebra -- Lukasiewicz logic -- non-archimedean algebra -- McNaughton -- Nullstellensatz; Logic programming -- Periodicals; Logic, Symbolic and mathematical -- Periodicals; Computational complexity -- Periodicals; 005.115
• DOI: 10.1093/logcom/exab060
• Languages: English
• ISSNs: 0955-792X

Abstract

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.