scientific article; zbMATH DE number 8117

MaRDI QIDQ3970879zbMATH OpenFDO

Authors V. V. Knyazev, V. A. Talanov

Publication date 25 June 1992

zbMATH Keywords

0-1-principleexcluding quantifiersmany-valued first-order predicate logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 4212010
• Partial Satisfaction of k-Satisfiable Formulas
• An extension of deficiency and minimal unsatisfiability of quantified Boolean formulas
• On depth and complexity of formulas in some classes of \(k\)-valued logic
• On the maximality of logics with approximations
• scientific article; zbMATH DE number 7525
• A satisfiability procedure for quantified Boolean formulae
• On the size of minimal unsatisfiable formulas
• Depth of formulas in some classes of k-valued logics
• The complexity of the satisfiability problem for Krom formulas

Cited in

(1)

• Finite-model theory -- A personal perspective

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 Q3970879)