Normal form of Łukasiewicz logic formulae and related counting problems

DOI10.3724/SP.J.1001.2013.04231zbMATH Open1289.03009OpenAlexW2317225447MaRDI QIDQ5398591FDOQ5398591

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

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

zbMATH Keywords

counting problemShannon expansion\(n\)-valued McNaughton functionlogic equivalence class

Mathematics Subject Classification ID

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

Cited In (6)

• Title not available (Why is that?)
• Solution methods of logical inequality groups of disjunctive normal form in the Luk propositional calculus system
• On normal forms in Łukasiewicz logic
• Valuationally decided formula question in Łukasiewicz propositional logic systems
• Title not available (Why is that?)
• 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)