Conservative extension of polyadic MV-algebras to polyadic Pavelka algebras

DOI10.1007/s00153-005-0277-zzbMath1096.03075OpenAlexW2154829661MaRDI QIDQ2501160

Dumitru Daniel Drăgulici

Publication date: 4 September 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-005-0277-z

zbMATH Keywords

representation theoremtruth degreepolyadic MV-algebraspolyadic Pavelka algebrasprovability degree

Mathematics Subject Classification ID

MV-algebras (06D35) Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Unnamed Item
• Unnamed Item
• Metamathematics of fuzzy logic
• Algebraic Logic for Rational Pavelka Predicate Calculus
• Polyadic MV-Algebras
• Theorie der polyadischenMV-Algebren endlicher Ordnung
• Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic

This page was built for publication: Conservative extension of polyadic MV-algebras to polyadic Pavelka algebras