A resolution method for linguistic many-valued logic

DOI10.12785/AMIS/070343MaRDI QIDQ4925424zbMATH OpenOpenAlexFDO

Authors

Publication date 12 June 2013

Published in Applied Mathematics & Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12785/amis/070343

zbMATH Keywords

general resolutionhedge algebralinguistic many-valued logiclinguistic truth value domain

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logical aspects of ?ukasiewicz and Post algebras (03G20) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Resolution in linguistic first order logic based on linear symmetrical hedge algebra
• The resolution method for 10-element linguistic truth-valued propositional logic
• A linguistic truth-valued resolution method based on the six-element lattice-valued propositional logic
• On compatibilities of -lock resolution method in linguistic truth-valued lattice-valued logic
• General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic

Cited in

(7)

• An algebra of linguistic truth-values
• 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
• HEDGE ALGEBRAS, LINGUISTIC-VALUE LOGIC AND THEIR APPLICATION TO FUZZY REASONING
• The resolution method for 10-element linguistic truth-valued propositional logic
• Binary resolution over complete residuated Stone lattices
• Tabulation proof procedures for fuzzy linguistic logic programming

This page was built for publication: A resolution method for linguistic many-valued logic

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