Normal form of Łukasiewicz logic formulae and related counting problems

DOI10.3724/SP.J.1001.2013.04231MaRDI QIDQ5398591zbMATH OpenOpenAlexFDO

Authors Qingping Wang, Guojun Wang

Publication date 28 February 2014

Published in Journal of Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/sp.j.1001.2013.04231

zbMATH Keywords

\(n\)-valued McNaughton functioncounting problemlogic equivalence classShannon expansion

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in computer science (03B70) Exact enumeration problems, generating functions (05A15)

Recommendations

• On normal forms in Łukasiewicz logic
• scientific article; zbMATH DE number 2030507
• scientific article; zbMATH DE number 1526196
• scientific article; zbMATH DE number 1534491
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Cited in

(6)

• On normal forms in Łukasiewicz logic
• Solution methods of logical inequality groups of disjunctive normal form in the Luk propositional calculus system
• Valuationally decided formula question in Łukasiewicz propositional logic systems
• scientific article; zbMATH DE number 2030507 (Why is no real title available?)
• scientific article; zbMATH DE number 1526196 (Why is no real title available?)
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

This page was built for publication: Normal form of Łukasiewicz logic formulae and related counting problems

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