The Resolution Method for 10-Element Linguistic Truth-Valued Propositional Logic

DOI10.1007/978-3-319-30874-6_56zbMath1368.03025OpenAlexW2496833959MaRDI QIDQ4977808

Ying Wang, Min-Wen Yang, Li Zou, Ying-Ying 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

resolution principlelattice implication algebracomplementary literalslinguistic truth-valued propositional logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

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

This page was built for publication: The Resolution Method for 10-Element Linguistic Truth-Valued Propositional Logic