Application of Łukasiewicz logics to algorithm design

MaRDI QIDQ5395249zbMATH OpenFDO

Authors Sergey Kovalev

Publication date 2 November 2006

zbMATH Keywords

computer implementations of integer arithmeticŁukasiewicz logicmodel theorymultiple-valued logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 2047465
• Model-theoretic methods of analysis of computer arithmetic
• Automated theorem proving for Łukasiewicz logics
• Computational complexity of infinite-valued Łukasiewicz propositional logic
• Computer Science Logic

Cited in

(3)

• Lazy evaluations in Łukasiewicz type fuzzy logic
• Model-theoretic methods of analysis of computer arithmetic
• scientific article; zbMATH DE number 2047465 (Why is no real title available?)

This page was built for publication: Application of Łukasiewicz logics to algorithm design

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