Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$

DOI10.1007/978-981-15-1342-8_1zbMath1484.06042arXiv2002.05587OpenAlexW3004110372MaRDI QIDQ3298273

Tommaso Flaminio, Sara Ugolini

Publication date: 14 July 2020

Published in: Logic in Asia: Studia Logica Library (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.05587

zbMATH Keywords

abelian \(\ell\)-groupshyperstatesIBP\(_0\)-algebrasprelinear semihoopstates of prelinear semihoop

Mathematics Subject Classification ID

MV-algebras (06D35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Advanced Łukasiewicz calculus and MV-algebras
• Every state on semisimple MV-algebra is integral
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Metamathematics of fuzzy logic
• Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
• States and internal states on semihoops
• Algebraic foundations of many-valued reasoning
• Averaging the truth-value in Łukasiewicz logic
• Lexicographic MV-algebras and lexicographic states.
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
• Invariant Measures in Free MV-Algebras
• Hoops and Fuzzy Logic
• Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
• Exploring Infinitesimal Events through MV-algebras and non-Archimedean States

This page was built for publication: Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$