The conservative extension of MV-algebras to Pavelka algebras

zbMATH Open1265.06029MaRDI QIDQ3145341FDOQ3145341

Authors: Daniel Drăgulici 

Publication date: 19 December 2012

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

zbMATH Keywords

MV-algebraPavelka algebra

Mathematics Subject Classification ID

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

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)