Results 221 to 230 of about 174,060 (272)

TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS

, 2018
M. Ghorani
semanticscholar   +1 more source

General form of α-ordered linear resolution method for lattice-valued logic system with linguistic truth-values

International Conference on Fuzzy Theory and Its Applications, 2016
Weitao Xu, Yang Xu
semanticscholar   +1 more source

Lattice-Valued Truth Degree in Łukasiewicz Propositional Fuzzy Logic

2010
The study of formula truth degree based on the grading idea has been a hot topic in some common logic systems, such as classical twovalued propositional logic, many-valued propositional logic, predicate logic, fuzzy propositional logic and model logic. So far, almost all definitions of truth degree are given on the unit interval [0, 1] whose structures
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

ALTERNATING REGULAR TREE GRAMMARS IN THE FRAMEWORK OF LATTICE-VALUED LOGIC

, 2016
Ghorani Maryam, Zahedi Mohammad Mehdi
semanticscholar   +1 more source

Automata theory based on complete residuated lattice-valued logic

Information Sciences, 2007
Daowen Qiu
semanticscholar   +1 more source

Automata theory based on complete residuated lattice-valued logic: Turing machines

Fuzzy Sets Syst., 2012
Lihua Wu, Daowen Qiu, Hongyan Xing
semanticscholar   +1 more source

General form of α-resolution principle for linguistic truth-valued lattice-valued logic

Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2012
Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen   +3 more
semanticscholar   +1 more source

On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic

Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2012
Xingxing He, Yang Xu, Jun Liu, Shuwei Chen   +3 more
semanticscholar   +1 more source

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

Journal of Intelligent & Fuzzy Systems, 2013
L. Zou, Peng Shi, Zheng Pei, Yang Xu
semanticscholar   +1 more source