scientific article; zbMATH DE number 2072502

MaRDI QIDQ4467737zbMATH OpenFDO

Authors V. E. Komendantskij

Publication date 10 June 2004

zbMATH Keywords

many-valued logicsrepresentation theoremresolution method

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 1324434
• Resolution-based theorem proving for many-valued logics
• scientific article; zbMATH DE number 1383060
• scientific article; zbMATH DE number 1775515
• scientific article; zbMATH DE number 2079267

Cited in

(3)

• Graded many-valued resolution with aggregation.
• Dunn-Priest quotients of many-valued structures
• Higher-Order Multi-Valued Resolution

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