Pages that link to "Item:Q1079157"
From MaRDI portal
The following pages link to Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus (Q1079157):
Displaying 50 items.
- The left adjoint of Spec from a category of lattice-ordered groups (Q266868) (← links)
- States on quantum and algebraic structures and their integral representation (Q277549) (← links)
- Effect algebras with state operator (Q277561) (← links)
- AF inverse monoids and the structure of countable MV-algebras (Q308140) (← links)
- A preliminary study of MV-algebras with two quantifiers which commute (Q332078) (← links)
- Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras (Q339417) (← links)
- Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups (Q343592) (← links)
- The representation of square root quasi-pseudo-MV algebras (Q344075) (← links)
- Representations of MV-algebras by Hilbert-space effects (Q363031) (← links)
- Non-commutative logical algebras and algebraic quantales (Q386648) (← links)
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains (Q392380) (← links)
- Leibniz interpolation properties (Q393904) (← links)
- Varieties generated by unital abelian \(\ell\)-groups (Q401022) (← links)
- Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras. (Q401642) (← links)
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← links)
- Representation of states on effect-tribes and effect algebras by integrals (Q410678) (← links)
- Intervals in \(l\)-groups as \(L\)-algebras (Q412010) (← links)
- State operators on GMV algebras (Q422429) (← links)
- Interval MV-algebras and generalizations. (Q459040) (← links)
- The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. (Q471915) (← links)
- On the equivalence between MV-algebras and \(l\)-groups with strong unit (Q495838) (← links)
- Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) (Q502643) (← links)
- Germinal theories in Łukasiewicz logic (Q515569) (← links)
- Loomis-Sikorski theorem and Stone duality for effect algebras with internal state (Q549351) (← links)
- Removing the torsion from a unital group. (Q595951) (← links)
- Pseudo-BCK algebras as partial algebras (Q621618) (← links)
- State morphism MV-algebras (Q648387) (← links)
- Revisiting the Farey AF algebra (Q653928) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Finitely presented lattice-ordered abelian groups with order-unit (Q661891) (← links)
- Coordinatizing some concrete MV algebras and a decomposition theorem (Q666682) (← links)
- An extension of Stone duality to fuzzy topologies and MV-algebras (Q679839) (← links)
- On topological MV-algebras and topological \(\ell \)-groups (Q714741) (← links)
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
- Von Neumann algebras, \(L\)-algebras, Baer*-monoids, and Garside groups (Q723297) (← links)
- Semitopological BL-algebras and MV-algebras (Q742031) (← links)
- The Priestley duality for Wajsberg algebras (Q753812) (← links)
- Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit (Q763298) (← links)
- Boolean skeletons of MV-algebras and \(\ell \)-groups (Q763315) (← links)
- A note on Bosbach's cone algebras (Q763331) (← links)
- Lifting, \(n\)-dimensional spectral resolutions, and \(n\)-dimensional observables (Q776988) (← links)
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras (Q776994) (← links)
- On the variety of Gödel MV-algebras (Q780196) (← links)
- Spectral resolutions and observables in \(n\)-perfect MV-algebras (Q780273) (← links)
- Filter and weak link topologies (Q783286) (← links)
- Varieties of BL-algebras (Q816863) (← links)
- Bounded commutative residuated \(\ell\)-monoids with general comparability and states (Q816883) (← links)
- Representations of monadic MV-algebras (Q817684) (← links)
- Frames and MV-algebras (Q817695) (← links)
