The resolution method for 10-element linguistic truth-valued propositional logic

DOI10.1007/978-3-319-30874-6_56MaRDI QIDQ4977808zbMATH OpenOpenAlexFDO

Authors L. Zou, Ying Wang, Min-Wen Yang, Yingying Xu

Publication date 17 August 2017

Published in Advances in Intelligent Systems and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-30874-6_56

zbMATH Keywords

complementary literalslattice implication algebralinguistic truth-valued propositional logicresolution principle

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• A linguistic truth-valued resolution method based on the six-element lattice-valued propositional logic
• A resolution method for linguistic many-valued logic
• Resolution in linguistic first order logic based on linear symmetrical hedge algebra
• On compatibilities of -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

Cites work

• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• A Machine-Oriented Logic Based on the Resolution Principle
• General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
• On an algebra of linguistic truth-valued intuitionistic lattice-valued logic
• Toward a generalized theory of uncertainty (GTU) -- an outline

Cited in

(3)

• Resolution in linguistic first order logic based on linear symmetrical hedge algebra
• A linguistic truth-valued resolution method based on the six-element lattice-valued propositional logic
• A resolution method for linguistic many-valued logic

This page was built for publication: The resolution method for 10-element linguistic truth-valued propositional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4977808)