scientific article; zbMATH DE number 5670715

MaRDI QIDQ3404617zbMATH OpenFDO

Authors Guojun Wang, Hongjun Zhou

Publication date 12 February 2010

zbMATH Keywords

MV-algebratruth degreeŁukasiewicz propositional logic

Mathematics Subject Classification ID

Many-valued logic (03B50) MV-algebras (06D35) Metric spaces, metrizability (54E35)

Recommendations

• scientific article; zbMATH DE number 6276271
• Łukasiewicz semantic MV-topology for MV-algebra and its application to Łukasiewicz propositional logic
• Metric structures on Boolean algebras and an application to propositional logic
• scientific article; zbMATH DE number 2172902
• MV-algebras: An approach to fixed points in Łukasiewicz logic
• scientific article; zbMATH DE number 2070196
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• Dynamic Łukasiewicz logic and dynamic MV-algebras
• Łukasiewicz logic and weighted logics over MV-semirings

Cited in

(7)

• Convex MV-algebras: many-valued logics meet decision theory
• The distance function in commutative -semigroups and the equivalence in Łukasiewicz logic
• Metric structures on Boolean algebras and an application to propositional logic
• A look at metrics and norms through the Lukasiewicz logic
• scientific article; zbMATH DE number 2015288 (Why is no real title available?)
• A metric structure and its properties based on a metric residuated lattice
• Common properties of a logical structure in four logical algebras

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