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