Lattice-valued logic. An alternative approach to treat fuzziness and incomparability

From MaRDI portal
Publication:1408064

zbMath1048.03003MaRDI QIDQ1408064

Yang Xu, Keyun Qin, Da Ruan, Jun Liu

Publication date: 15 September 2003

Published in: Studies in Fuzziness and Soft Computing (Search for Journal in Brave)




Related Items

An approach for solving fuzzy multi-criteria decision problem under linguistic information, \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality, General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic, Redefined fuzzy implicative filters, Filter-based resolution principle for lattice-valued propositional logic LP\((X)\), A logical reasoning based decision making method for handling qualitative knowledge, A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making, Lattice fuzzy transforms from the perspective of mathematical morphology, Binary image 2D shape learning and recognition based on lattice-computing (LC) techniques, On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic, A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic, Piecewise-linear approximation of non-linear models based on probabilistically/possibilistically interpreted intervals' numbers (INs), Concept lattice simplification with fuzzy linguistic information based on three-way clustering, Fuzzy prime filters of lattice implication algebras, On Boolean elements and derivations in 2-dimension linguistic lattice implication algebras, The construction of fuzzy linguistic attribute partial ordered structure diagram, Comparisons Among α-Generalized Resolution Methods in $$\fancyscript{L}_{n \times 2}$$F(X), An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words, On the algebraic structure of binary lattice-valued fuzzy relations, Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra, A survey of fuzzy implication algebras and their axiomatization, Soft rough approximation operators on a complete atomic Boolean lattice, \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras., Attribute extended algorithm of lattice-valued concept lattice based on congener formal context, State hoops, Skolemization and Herbrand theorems for lattice-valued logics, Graphsof BCI/BCK -algebras, A linguistic multi-criteria decision making approach based on logical reasoning, Lattice implication ordered semigroups, Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic, Linguistic truth-valued intuitionistic fuzzy reasoning with applications in human factors engineering, Some kinds of falling fuzzy filters of lattice implication algebras, A decision method based on uncertainty reasoning of linguistic truth-valued concept lattice, Pointed semi-quantales and lattice-valued topological spaces, Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\), Fuzzy logic from the viewpoint of machine intelligence, Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra, On filter theory of residuated lattices, On fuzzy ordered semigroups., On Fuzzy Logic I Many‐valued rules of inference, A linguistic fusion approach for heterogeneous environmental impact significance assessment, Ultra LI-ideals in lattice implication algebras and MTL-algebras, On the consistency of rule bases based on lattice-valued first-order logic LF(X), A theorem about infinite-valued sentential logic, Soft Lattice Implication Algebras, On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA), Unnamed Item, \((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic


Uses Software