scientific article; zbMATH DE number 4135917

MaRDI QIDQ3469088zbMATH OpenFDO

Authors Daniele Mundici

Publication date 1989

zbMATH Keywords

abelian \(\ell \)-groupAF \(C^*\)-algebrascountable Lindenbaum algebras of three-valued logicGrothendieck's functor \(K_ 0\)Hausdorff primitive spectruminfinite-valued sentential calculus of ŁukasiewiczMV algebra

Mathematics Subject Classification ID

Many-valued logic (03B50) Quantum logic (03G12) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Applications of selfadjoint operator algebras to physics (46L60) (K)-theory and operator algebras (including cyclic theory) (46L80)

Recommendations

• The cylindric algebras of three-valued logic
• scientific article; zbMATH DE number 1746889
• L-algebras and three main non-classical logics
• On the `classical' operations in three-valued logics
• An alternative notion of quantifiers on three-valued Łukasiewicz algebras
• An axiomatic approach to \(\mathbf{CG}^{\prime}_3\) logic
• Natural 3-valued logics—characterization and proof theory
• scientific article; zbMATH DE number 465607
• scientific article; zbMATH DE number 2217307
• scientific article; zbMATH DE number 1046390

Cited in

(15)

• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Connections between \(\text{MV}_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. II
• Logic of infinite quantum systems
• Connection between MV_n algebras and n-valued Lukasiewicz-Moisil algebras. I
• Word problems in Elliott monoids
• Probabilities on Lukasiewicz-Moisil algebras
• On finite-valued propositional logical calculi
• scientific article; zbMATH DE number 437517 (Why is no real title available?)
• scientific article; zbMATH DE number 4177893 (Why is no real title available?)
• The cylindric algebras of three-valued logic
• scientific article; zbMATH DE number 1746889 (Why is no real title available?)
• scientific article; zbMATH DE number 761275 (Why is no real title available?)
• Bratteli diagrams via the De Concini-Procesi theorem
• scientific article; zbMATH DE number 3893173 (Why is no real title available?)
• Orthomodular and unsharp orthomodular lattices: a categorical equivalence

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3469088)