Results 211 to 220 of about 174,060 (272)

Syntax theory of finite lattice-valued propositional logic

Science China Information Sciences, 2012
In this paper, we establish the graded syntax theory of lattice-valued propositional logic based on finite lattice implication algebras, define the notions of syntactic consequence operation and formal proof, and develop a kind of graded finite lattice-valued propositional calculus.
XiaoDong Pan, Dan Meng, Yang Xu
openaire   +1 more source

alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System

2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE), 2015
This paper presents an a-resolution method for lattice-valued Horn generalized clauses in lattice-valued first-order logic system LF(X) based on lattice implication algebra. In LF(X), we give the concepts of lattice-valued Horn generalized clause and normal lattice-valued Horn generalized clause.
Weitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu   +3 more
openaire   +1 more source

A lattice-valued modal propositional logic system LMP(X)

IEEE International Conference on Systems, Man and Cybernetics, 2003
In this paper, two operators N and P are introduced into LP(X), then a new lattice-valued modal propositional logic system LMP(X) is given. With possible world semantics, N and P are described. Furthermore, some properties on semantics and syntax are discussed, and some important conclusions are obtained, including the soundness theorem, deduction ...
null Wenjiang Li, null Yang Xu, null Jun Ma, null Jun Liu   +3 more
openaire   +1 more source

Valuation sets in lattice-valued propositional logic LP(X)

The 12th IEEE International Conference on Fuzzy Systems, 2003. FUZZ '03., 2004
In this paper, model theory properties of lattice-valued propositional logic LP(X) are studied. We allows to transfer the results of classical model theory to those of LP(X) in a natural way. First, valuation sets of L-fuzzy subsets of formulae and formulae in LP(X) are defined and their properties are discussed.
null Xuefang Wang, null Ming Qing
openaire   +1 more source

Models for Lattice-Valued First-Order Logic LF(X)

2008 Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008
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.
Pei-shun Liu, Xue-fang Wang
openaire   +1 more source

Lattice-valued logic, intelligent mathematics and their applications

Proceedings. The Nineteenth International Symposium on Multiple-Valued Logic, 2003
The author defines lattice-valued set and lattice-valued reasoning strictly. Lattice-valued relation theory is also established. The author discusses their application to pattern recognition and expert systems. >
openaire   +1 more source

Uncertainty Reasoning Based on Lattice-Valued Propositional Logic L6

The Proceedings of the Multiconference on "Computational Engineering in Systems Applications", 2006
Uncertainty reasoning is one of important directions in the research field of artificial intelligence. Uncertainty reasoning theory and methods based on lattice-valued logic is sound in its strict logical foundation. In this paper, some methods for selecting appropriate parameters in the uncertainty reasoning process based on lattice-valued ...
Shuwei Chen, Yang Xu, Jun Ma
openaire   +1 more source

Filter-based resolution principle for lattice-valued propositional logic LP(X)

Information Sciences, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ma, Jun, Li, Wenjiang, Ruan, Da, Xu, Yang   +3 more
openaire   +2 more sources

Fuzzifying groups based on complete residuated lattice-valued logic

Information Sciences, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

The distribution of truth degrees in quintuple lattice-valued logic

2010 2nd International Conference on Computer Engineering and Technology, 2010
In order to establish approximate reasoning in quintuple lattice-valued logic system. Following Wang (2006), based on the infinite product of evenly distributed probability space with cardinality number is 5, the theory of truth degree in quintuple lattice-valued logic system was introduced. Some inference rules were given.
openaire   +1 more source