Affiliation:
1. Department of Mathematics, University of Salerno, Fisciano, Italy
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.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference37 articles.
1. Free vector lattices;Baker;Canadian Journal of Mathematics,1968
2. Simplicial structures in MV-algebras and logic;Belluce;The Journal of Symbolic Logic,2007
3. Algebraic geometry for MV-algebras;Belluce;The Journal of Symbolic Logic,2014
4. On generalizing the Nullstellensatz for MV algebras;Belluce;Journal of Logic and Computation,2015
5. Duality theorems for finitely generated vector lattices;Beynon;Proceedings of the London Mathematical Society,1975