Computing on Lattice-Ordered Abelian Groups
From MaRDI portal
Publication:5049052
DOI10.1007/978-3-030-48006-6_15OpenAlexW3028014999MaRDI QIDQ5049052
Publication date: 9 November 2022
Published in: Fields of Logic and Computation III (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-48006-6_15
word problemMV-algebradecision problemunital \(\ell\)-grouplattice-ordered abelian groupBaker-Beynon dualityElliott classificationKroupa-Panti theoremMarkov unrecognizability theoremMarra-Spada dualityregular complexAF \(\mathrm{C}^*\)-algebraCabrer characterization theoremfinitely generated projective \(\ell\)-group
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups
- Advanced Łukasiewicz calculus and MV-algebras
- Convex analysis and nonlinear optimization. Theory and examples.
- The Haar theorem for lattice-ordered abelian groups with order-unit
- Projective MV-algebras and rational polyhedra
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
- Groupes et anneaux reticules
- Metamathematics of fuzzy logic
- Extending addition in Elliott's local semigroup
- The writing of the MV-algebras
- Recognizing free generating sets of \(\ell\)-groups
- Word problems in Elliott monoids
- Fans, decision problems and generators of free abelian \(\ell\)-groups
- Algebraic foundations of many-valued reasoning
- Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
- Simplicial geometry of unital lattice-ordered abelian groups.
- Unrecognizability of manifolds
- Free lattice-ordered Abelian groups. II
- Lectures on polyhedral topology
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- \(C^ *\)-algebras with a two-point dual
- RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT
- The Word Problem for Lattice-Order Groups
- Algebraic Analysis of Many Valued Logics
- Fragments of Many-Valued Statement Calculi
- A New Proof of the Completeness of the Lukasiewicz Axioms
- The Word Problem Versus the Isomorphism Problem
- On Rational Subdivisions of Polyhedra with Rational Vertices
- Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
- Markov's theorem and algorithmically non-recognizable combinatorial manifolds
- Free Vector Lattices
- Elementary properties of ordered abelian groups
- Inductive Limits of Finite Dimensional C ∗ -Algebras
- Decomposition of Birational Toric Maps in Blow-Ups and Blow-Downs
- A theorem about infinite-valued sentential logic
- \(C^*\)-algebras by example
