Title :
Non archimedean models of Lukasiewicz logic
Author :
Nola, Antonio Di
Author_Institution :
Istituto di Matematica, Universita di Napoli, Italy
Abstract :
We survey the theory of non-archimedean algebraic models (MV-algebra) of Lukasiewicz´ infinite-valued sentential calculus
Keywords :
Boolean algebra; Boolean functions; multivalued logic; Lukasiewicz logic; MV-algebra; infinite-valued sentential calculus; nonarchimedean algebraic models; Boolean algebra; Calculus; Equations; Kernel; Lattices; Logic functions; Topology;
Conference_Titel :
Multiple-Valued Logic, 1996. Proceedings., 26th International Symposium on
Conference_Location :
Santiago de Compostela
Print_ISBN :
0-8186-7392-3
DOI :
10.1109/ISMVL.1996.508332
