The conservative extension of MV-algebras to Pavelka algebras
From MaRDI portal
Publication:3145341
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)