Pages that link to "Item:Q1079157"
From MaRDI portal
The following pages link to Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus (Q1079157):
Displayed 50 items.
- Removing the torsion from a unital group. (Q595951) (← links)
- The Priestley duality for Wajsberg algebras (Q753812) (← 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)
- A characterization of the free \(n\)-generated MV-algebra (Q818513) (← links)
- Spectral resolution in a Rickart comgroup (Q852091) (← links)
- Every state on semisimple MV-algebra is integral (Q853397) (← links)
- Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit (Q855747) (← links)
- Bernoulli automorphisms of finitely generated free MV-algebras (Q860428) (← links)
- The universal group of a Heyting effect algebra (Q861571) (← links)
- A common generalization for MV-algebras and Łukasiewicz-Moisil algebras (Q862349) (← links)
- Bookmaking over infinite-valued events (Q868109) (← links)
- Algebraic analysis of fuzzy systems (Q868279) (← links)
- A representation theorem for MV-algebras (Q877761) (← links)
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- On \(n\)-perfect GMV-algebras (Q934035) (← links)
- On two versions of the Loomis-Sikorski theorem for algebraic structures (Q934914) (← links)
- Forcing in Łukasiewicz predicate logic (Q935024) (← links)
- A characterization of MV-algebras free over finite distributive lattices (Q938236) (← links)
- Monadic GMV-algebras (Q938237) (← links)
- \(L\)-algebras, self-similarity, and \(l\)-groups (Q952544) (← links)
- A note on effect algebras and dimension theory of AF C\(^*\)-algebras (Q1005540) (← links)
- Abelian \(\ell\)-groups with strong unit and perfect MV-algebras (Q1013998) (← links)
- A problem of annihilator primes in MV-algebras (Q1025063) (← links)
- Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras (Q1066930) (← links)
- Every Abelian \(\ell\)-group with two positive generators is ultrasimplicial (Q1084119) (← links)
- Satisfiability in many-valued sentential logic is NP-complete (Q1100196) (← links)
- Free products in the category of Abelian \(\ell\)-groups with strong unit (Q1111584) (← links)
- Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras (Q1123916) (← links)
- Semi-simple and complete MV-algebras (Q1185226) (← links)
- Complete and atomic algebras of the infinite valued Łukasiewicz logic (Q1189890) (← links)
- Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi (Q1205168) (← links)
- Rules of inference in fuzzy sentential logic (Q1267518) (← links)
- Convergence in perfect MV-algebras (Q1276373) (← links)
- Tensor products and the Loomis-Sikorski theorem for MV-algebras (Q1291066) (← links)
- Weakly divisible MV-algebras and product (Q1295896) (← links)
- Fuzzy set representations of some quantum structures (Q1302212) (← links)
- On limit theorems in fuzzy quantum spaces (Q1302213) (← links)
- Prime ideals in free \(\ell\)-groups and free vector lattices (Q1306832) (← links)
- Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics (Q1306836) (← links)
- Algebraic structures in fuzzy logic (Q1311717) (← links)
- A measure-theoretic axiomatization of fuzzy sets (Q1319429) (← links)
- Logic of infinite quantum systems (Q1325668) (← links)
- Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups (Q1337605) (← links)
- Fuzzy maximal ideals of BCI and MV algebras (Q1338859) (← links)
- Decompositions of measures on orthoalgebras and difference posets (Q1340315) (← links)
- Extensions of real-valued difference posets (Q1345418) (← links)
- Generalized fuzzy connectives on \(MV\)-algebras (Q1353717) (← links)