CLE e-Prints https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints <p><span style="font-family: Arial,Helvetica;"><span style="font-size: xx-small;"><img src="/eprints/public/site/images/Administrador/cle-e-prints.png" alt=""></span></span></p> <p><span style="font-family: Arial,Helvetica;"><span style="font-size: xx-small;">The <strong><em>CLE e-Prints</em></strong> of CLE-UNICAMP are preprints of academic articles, individual or thematically organized (under conference proceedings or special issues) of which at least one of the authors or editors is an official member, or an associated researcher, or a visiting researcher of CLE, or is attached to some academic group of CLE.</span></span></p> en-US publicacoes@cle.unicamp.br (Fabio Luis Basso) torres@cle.unicamp.br (Augusto Fabiano Torres) Wed, 20 Dec 2017 15:09:47 -0200 OJS 3.1.1.0 http://blogs.law.harvard.edu/tech/rss 60 Representation by tuples of Lukasiewicz–Moisil algebras of order n + 1 and applications https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/view/1059 <p>We intend to present a generalization of the techniques developed by Fidel, and independently by Vakarelov, widely known as twist–structure semantics, to the more general context of n–valued logics.<br>We focus here on the well–known Lukasiewicz–Moisil algebras of order n + 1. Departing from a twist–structure representation for De Morgan algebras, we construct an structure with more axes (2n + 2 axes actually) that shows to represent the Moisil operators more efficiently. With this representation, the theory of homomorphisms, filters and free algebras is simplified significantly. Finally, we complete this study with the presentation of a logic sound and complete with these new models.</p> <p><strong>MSC (2010):</strong> Primary 06D35, Secondary 03B60.</p> <p><strong>Key words:</strong> many valued logics, twist structures, Lukasiewicz–Moisil algebras.</p> Manuel Fidel, Martı́n Figallo ##submission.copyrightStatement## https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/view/1059 Wed, 20 Dec 2017 00:00:00 -0200