Title :
Models for Lattice-Valued First-Order Logic LF(X)
Author :
Liu, Pei-shun ; Wang, Xue-fang
Author_Institution :
Dept. of Comput. Sci., Ocean Univ. of China, Qingdao
Abstract :
In this paper, we focus on models for lattice-valued first-order logic LF(X). First, we present some basic notions, operations on models, and basic relations among models, such as isomorphisms, submodels and extensions, etc. Then we discuss their properties and the truth values of formulas under these models. Finally, we give elementary chain theorem.
Keywords :
fuzzy logic; elementary chain theorem; fuzzy logic; lattice-valued first-order logic model; truth value; Algebra; Computer science; Fuzzy control; Fuzzy logic; Fuzzy systems; Lattices; Logic functions; Mathematical model; Oceans; Uncertainty; Lattice-valued logic; elementary chain; extensions; homomorphisms; models; submodels;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery, 2008. FSKD '08. Fifth International Conference on
Conference_Location :
Shandong
Print_ISBN :
978-0-7695-3305-6
DOI :
10.1109/FSKD.2008.382
