The conservative extension of MV-algebras to Pavelka algebras

MaRDI QIDQ3145341zbMATH OpenFDO

Authors Daniel Drăgulici

Publication date 19 December 2012

zbMATH Keywords

MV-algebraPavelka algebra

Mathematics Subject Classification ID

Many-valued logic (03B50) Other algebras related to logic (03G25) MV-algebras (06D35)

Recommendations

• Conservative extension of polyadic MV-algebras to polyadic Pavelka algebras
• Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
• Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
• Pavelka-style completeness in expansions of Łukasiewicz logic
• Algebraic logic for rational Pavelka predicate calculus

Cited in

(6)

• A general view on normal form theorems for Łukasiewicz logic with product
• Compatible Functions in Algebras Associated to Extensions of Positive Logic
• Algebraic logic for rational Pavelka predicate calculus
• Conservative extension of polyadic MV-algebras to polyadic Pavelka algebras
• Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
• Constructing natural extensions of propositional logics

This page was built for publication: The conservative extension of MV-algebras to Pavelka algebras

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