scientific article

zbMATH Open1313.03011MaRDI QIDQ2924340

Xingfang Zhang, Youyu Li

Publication date: 3 November 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

disjunctive normal formlogical inequality groupsŁukasiewicz propositional calculus system

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Solutions to the systems of functional equations of multivalued logic 👍 👎
• Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). II 👍 👎
• Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I 👍 👎
• The Properties of Determinative Disjunctive Normal Forms and Systems Based on Them 👍 👎
• Solution and applications of simultaneous equations in a multi-valued logic algebra system 👍 👎
• Normal Form of Łukasiewicz Logic Formulae and Related Counting Problems 👍 👎
• An algorithm for the solution of systems of logical equations 👍 👎

This page was built for publication: