scientific article; zbMATH DE number 4002067

MaRDI QIDQ3754598zbMATH OpenFDO

Authors N. R. Emel'yanov

Publication date 1985

zbMATH Keywords

function system

Mathematics Subject Classification ID

Many-valued logic (03B50) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• scientific article; zbMATH DE number 4212010
• One approach to construction of effective algorithms for recognizing completeness in multivalued logics
• Complexity of realization by formulas of special form for functions of multivalued logic
• Complexity of implementing functions of k-valued logic by circuits and formulas in functionally complete bases
• scientific article; zbMATH DE number 1567839

Cited in

(9)

• On expressibility of functions of many-valued logic in some logical-functional languages
• Extending the reach of SAT with many-valued logics
• scientific article; zbMATH DE number 4172951 (Why is no real title available?)
• scientific article; zbMATH DE number 4051572 (Why is no real title available?)
• scientific article; zbMATH DE number 1775542 (Why is no real title available?)
• scientific article; zbMATH DE number 6851910 (Why is no real title available?)
• On the expressibility hierarchy of Magidor-Malitz quantifiers
• One approach to construction of effective algorithms for recognizing completeness in multivalued logics
• Proof search and co-NP completeness for many-valued logics

This page was built for publication:

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