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.
- A characterization of the free \(n\)-generated MV-algebra (Q818513) (← links)
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129) (← links)
- States on semi-divisible generalized residuated lattices reduce to states on MV-algebras (Q835280) (← 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)
- Łukasiewicz logic and Riesz spaces. (Q894318) (← links)
- Scalar extensions for algebraic structures of Łukasiewicz logic. (Q898191) (← links)
- Gödel spaces and perfect MV-algebras (Q898780) (← links)
- The Conrad program: from \(l\)-groups to algebras of logic. (Q906860) (← 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)
- Embedding theorems for classes of GBL-algebras (Q964512) (← links)
- Representation of MV-algebras by regular ultrapowers of \([0,1]\) (Q971886) (← links)
- Free products of unital \(\ell \)-groups and free products of generalized MV-algebras (Q976749) (← links)
- Continuum many top varieties of GMV-algebras and unital \(\ell \)-groups (Q976750) (← links)
- Note on the construction of free MV-algebras (Q976751) (← links)
- Projective MV-algebras and rational polyhedra (Q976753) (← links)
- Effectible residuated lattices and \(n\)-th roots (Q983038) (← links)
- Solvable covers of the Boolean variety of unital \(\ell \)-groups (Q987183) (← links)
- 0-homogeneous effect algebras (Q989691) (← 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)
- State-morphism MV-algebras (Q1035651) (← links)
- Interpretation of De Finetti coherence criterion in Łukasiewicz logic (Q1035659) (← links)
- Ordered groups with a conucleus (Q1035670) (← links)
- Recognizing the Farey-Stern-Brocot AF algebra (Q1039874) (← links)
- A note on intervals of residuated \(\ell \)-groupoids (Q1040919) (← 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)
