Results 181 to 190 of about 1,395,634 (216)

Coding tree languages based on lattice-valued logic

Soft Computing, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Maryam Ghorani, Mohammad Mehdi Zahedi
openaire   +2 more sources

Strong completeness of lattice-valued logic

Archive for Mathematical Logic, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Lattice-Valued First-Order Logics

2003
In Chapter 9, we discussed the lattice-valued propositional logics based on lattice implication algebra and their properties. In this chapter, we discuss the lattice-valued first-order logic based on lattice implication algebra. In Section 10.1, a lattice-valued first-order logic LF(X) is given. In Section 10.2, a gradational lattice-valued first-order
Yang Xu, Keyun Qin, Da Ruan, Jun Liu
openaire   +1 more source

Lattice-valued modal propositional logic and its completeness

Science China Information Sciences, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Huixian Shi, Guojun Wang
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).
Jun Liu 0001, Da Ruan 0001, Yang Xu 0001, Zhenming Song   +3 more
openaire   +2 more sources

Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic

2008
In this paper, we study lattice-valued logic and lattice-valued modal logic from an algebraic viewpoint. First, we give an algebraic axiomatization of L -valued logic for a finite distributive lattice L . Then we define the notion of prime L -filters and prove an L -valued version of prime filter theorem for Boolean algebras, by which we show a Stone ...
openaire   +1 more source

Tautologies in some lattice-valued logic systems

Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693), 2004
In this paper, the tautologies in some lattice-valued logic systems whose truth-values fields are lattices are formed by direct product of two lattice implication algebras, /spl alpha/-tautologies and F-tautologies are also discussed. As two examples, the tautologies in lattice-valued systems of L/sub 4/P (X) and L/sub 6/P (X) are discussed.
null Hai-Ming Li, null Ke-Yun Qin, null Yang Xu   +2 more
openaire   +1 more source

Closure operators in lattice-valued propositional logics

Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693), 2004
In this paper, first the relation between two lattice-valued logic systems based on lattice implication algebras, LP(X) and Lvpl, is discussed. And it shows that LP(X) is not a special case of Lvp, since the generalized modus ponens rule in LP(X) is not a rule in Lvpl. On the other hand, in most of non-classical logics, closure operators are defined by
null Xue-Fang Wang, null Ming Qing, null Yang Xu, null Ke-Yun Qin   +3 more
openaire   +1 more source

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   +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.
Xuefang Wang 0002, Ming Qing
openaire   +1 more source