Results 161 to 170 of about 74,540 (198)

Strong completeness of lattice-valued logic

Archive for Mathematical Logic, 2002
Strong completeness of S. Titani's system for lattice valued logic is shown by means of Dedekind cuts.
openaire   +2 more sources

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   +2 more sources

A resolution-like strategy based on a lattice-valued logic

IEEE Transactions on Fuzzy Systems, 2003
As the use of nonclassical logics becomes increasingly important in computer science, artificial intelligence and logic programming, the development of efficient automated theorem proving based on nonclassical logic is currently an active area of research. This paper aims at the resolution principle for the Pavelka type fuzzy logic (1979).
Yang Xu, Da Ruan, Zhenming Song, Jun Liu
openaire   +2 more sources

Multiary α-Resolution Principle for a Lattice-Valued Logic

IEEE Transactions on Fuzzy Systems, 2013
This paper focuses on resolution-based automated reasoning theory in a lattice-valued logic system with truth values that are defined in a lattice-valued logical algebraic structure-lattice implication algebras (LIAs) - which essentially aims to extend the classical logic to handle automated deduction under an uncertain environment.
Yang Xu, Shuwei Chen, Xiaomei Zhong, Jun Liu   +3 more
openaire   +2 more sources

On an algebra of linguistic truth-valued intuitionistic lattice-valued logic

Journal of Intelligent & Fuzzy Systems, 2013
In this paper, we propose a kind of linguistic truth-valued intuitionistic fuzzy lattice based on the point view of intuitionistic fuzzy set and linguistic truth-valued lattice implication algebra. As an algebra fundament of linguistic truth-valued intuitionistic fuzzy logic, some properties of linguistic truth-valued intuitionistic fuzzy algebra are ...
Zou, Li, Shi, Peng, Pei, Zheng, Xu, Yang
openaire   +4 more sources

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 ...
Yang Xu, Shuwei Chen, Jun Ma
openaire   +3 more sources

resolution method for a lattice-valued first-order logic

Engineering Applications of Artificial Intelligence, 2011
This paper focuses on resolution-based automated reasoning approaches in a lattice-valued first-order logic LF(X) with truth-values defined in a logical algebraic structure-lattice implication algebra (LIA), which aims at providing the logic foundation to represent and handle both imprecision and incomparability.
Yang Xu, Da Ruan, Xingxing He, Jun Liu
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   +2 more sources

On Compactness and Consistency in Finite Lattice-Valued Propositional Logic

2010
In this paper, we investigate the semantical theory of finite lattice-valued propositional logic based on finite lattice implication algebras Based on the fuzzy set theory on a set of formulas, some propositions analogous to those in the classical logic are proved, and using the semantical consequence operation, the consistence and compactness is ...
Xiaodong Pan, Luis Martínez, Yang Xu, Da Ruan, Jun Liu   +4 more
openaire   +2 more sources

A Duality for Algebras of Lattice-Valued Modal Logic

2009
In this paper, we consider some versions of Fitting's L -valued logic and L -valued modal logic for a finite distributive lattice L . Using the theory of natural dualities, we first obtain a natural duality for algebras of L -valued logic (i.e., L -VL-algebras), which extends Stone duality for Boolean algebras to the L -valued case. Then, based on this
openaire   +2 more sources