Title :
Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters
Author_Institution :
Inst. d´´Investig. en Intelligencia Artificial, IIIA-CSIC, Bellaterra, Spain
Abstract :
In this paper we axiomatize the formulas that, in the infinite-valued (standard) Lukasiewicz algebra, always take a value above certain fixed number. This generalizes the approach considered in the infinite-valued Lukasiewicz logic, where the fixed number is the maximum.
Keywords :
Algebra; Books; Calculus; Filters; Lattices; Logic design; Logic functions;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2010 40th IEEE International Symposium on
Conference_Location :
Barcelona, Spain
Print_ISBN :
978-1-4244-6752-5
DOI :
10.1109/ISMVL.2010.23
