A Note on Representing and Interpreting MV-Algebras
From MaRDI portal
Publication:5426001
DOI10.1007/978-3-540-75939-3_8zbMath1122.06011MaRDI QIDQ5426001
Panagis Karazeris, Constantine A. Drossos
Publication date: 15 November 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75939-3_8
06D35: MV-algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Boolean valued interpretation of Hilbert space theory
- Boolean valued analysis and type I \(AW^*\)-algebras
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- W-algebras which are Boolean products of members of SR[1 and CW- algebras]
- Representation and reticulation by quotients of MV-algebras
- Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi
- Boolean powers
- Algebraic foundations of many-valued reasoning
- Coupling an MV-algebra with a Boolean algebra
- MV-algebras: a variety for magnitudes with archimedean units
- Two Applications of Logic to Mathematics
- Boolean ultrapowers
- The theory of Boolean ultrapowers
- Boolean valued interpretation of Banach space theory and module structures of von Neumann algebras