Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus

From MaRDI portal

Publication:1079157

Jump to:navigation, search

DOI10.1016/0022-1236(86)90015-7zbMath0597.46059OpenAlexW1985104705WikidataQ106870091 ScholiaQ106870091MaRDI QIDQ1079157

Daniele Mundici

Publication date: 1986

Published in: Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-1236(86)90015-7

zbMATH Keywords

CAR algebra Łukasiewicz logic dimension groups AF \(C^*\)-algebras Gödel complete K-groups with an order recursion-theoretic properties of \(K_ 0(A)\)

Mathematics Subject Classification ID

Methods of algebraic topology in functional analysis (cohomology, sheaf and bundle theory, etc.) (46M20) General theory of (C^*)-algebras (46L05) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items

A characterization of the free \(n\)-generated MV-algebra ⋮ The left adjoint of Spec from a category of lattice-ordered groups ⋮ States on quantum and algebraic structures and their integral representation ⋮ Effect algebras with state operator ⋮ Every Abelian \(\ell\)-group with two positive generators is ultrasimplicial ⋮ \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic ⋮ States on semi-divisible generalized residuated lattices reduce to states on MV-algebras ⋮ AF inverse monoids and the structure of countable MV-algebras ⋮ Satisfiability in many-valued sentential logic is NP-complete ⋮ Spectral resolution in a Rickart comgroup ⋮ Every state on semisimple MV-algebra is integral ⋮ A preliminary study of MV-algebras with two quantifiers which commute ⋮ Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit ⋮ Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras ⋮ Bernoulli automorphisms of finitely generated free MV-algebras ⋮ Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups ⋮ The representation of square root quasi-pseudo-MV algebras ⋮ The universal group of a Heyting effect algebra ⋮ A common generalization for MV-algebras and Łukasiewicz-Moisil algebras ⋮ Free products in the category of Abelian \(\ell\)-groups with strong unit ⋮ Bookmaking over infinite-valued events ⋮ Algebraic analysis of fuzzy systems ⋮ Removing the torsion from a unital group. ⋮ Representations of MV-algebras by Hilbert-space effects ⋮ Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras ⋮ A representation theorem for MV-algebras ⋮ Non-commutative logical algebras and algebraic quantales ⋮ An algebraic characterization of o-minimal and weakly o-minimal MV-chains ⋮ Leibniz interpolation properties ⋮ Varieties generated by unital abelian \(\ell\)-groups ⋮ Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras. ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ Łukasiewicz logic and Riesz spaces. ⋮ Pseudo-BCK algebras as partial algebras ⋮ Representation of states on effect-tribes and effect algebras by integrals ⋮ Intervals in \(l\)-groups as \(L\)-algebras ⋮ Scalar extensions for algebraic structures of Łukasiewicz logic. ⋮ Gödel spaces and perfect MV-algebras ⋮ State operators on GMV algebras ⋮ The Conrad program: from \(l\)-groups to algebras of logic. ⋮ State morphism MV-algebras ⋮ Interval MV-algebras and generalizations. ⋮ Revisiting the Farey AF algebra ⋮ The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ Amalgamation through quantifier elimination for varieties of commutative residuated lattices ⋮ Finitely presented lattice-ordered abelian groups with order-unit ⋮ On \(n\)-perfect GMV-algebras ⋮ On two versions of the Loomis-Sikorski theorem for algebraic structures ⋮ Forcing in Łukasiewicz predicate logic ⋮ A characterization of MV-algebras free over finite distributive lattices ⋮ Monadic GMV-algebras ⋮ Coordinatizing some concrete MV algebras and a decomposition theorem ⋮ Semi-simple and complete MV-algebras ⋮ On the equivalence between MV-algebras and \(l\)-groups with strong unit ⋮ Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) ⋮ Complete and atomic algebras of the infinite valued Łukasiewicz logic ⋮ An extension of Stone duality to fuzzy topologies and MV-algebras ⋮ \(L\)-algebras, self-similarity, and \(l\)-groups ⋮ Germinal theories in Łukasiewicz logic ⋮ Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi ⋮ Embedding theorems for classes of GBL-algebras ⋮ Representation of MV-algebras by regular ultrapowers of \([0,1\)] ⋮ Loomis-Sikorski theorem and Stone duality for effect algebras with internal state ⋮ Free products of unital \(\ell \)-groups and free products of generalized MV-algebras ⋮ Continuum many top varieties of GMV-algebras and unital \(\ell \)-groups ⋮ Note on the construction of free MV-algebras ⋮ Projective MV-algebras and rational polyhedra ⋮ Effectible residuated lattices and \(n\)-th roots ⋮ On topological MV-algebras and topological \(\ell \)-groups ⋮ Finite axiomatizability in Łukasiewicz logic ⋮ Solvable covers of the Boolean variety of unital \(\ell \)-groups ⋮ 0-homogeneous effect algebras ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ Von Neumann algebras, \(L\)-algebras, Baer*-monoids, and Garside groups ⋮ A note on effect algebras and dimension theory of AF C\(^*\)-algebras ⋮ Semitopological BL-algebras and MV-algebras ⋮ Abelian \(\ell\)-groups with strong unit and perfect MV-algebras ⋮ Rules of inference in fuzzy sentential logic ⋮ The Priestley duality for Wajsberg algebras ⋮ A problem of annihilator primes in MV-algebras ⋮ Convergence in perfect MV-algebras ⋮ Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit ⋮ Boolean skeletons of MV-algebras and \(\ell \)-groups ⋮ A note on Bosbach's cone algebras ⋮ State-morphism MV-algebras ⋮ Interpretation of De Finetti coherence criterion in Łukasiewicz logic ⋮ Ordered groups with a conucleus ⋮ Lifting, \(n\)-dimensional spectral resolutions, and \(n\)-dimensional observables ⋮ The spectrum problem for abelian \(\ell\)-groups and MV-algebras ⋮ Recognizing the Farey-Stern-Brocot AF algebra ⋮ A note on intervals of residuated \(\ell \)-groupoids ⋮ On the variety of Gödel MV-algebras ⋮ Spectral resolutions and observables in \(n\)-perfect MV-algebras ⋮ Filter and weak link topologies ⋮ Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras ⋮ Varieties of BL-algebras ⋮ Bounded commutative residuated \(\ell\)-monoids with general comparability and states ⋮ Representations of monadic MV-algebras ⋮ Frames and MV-algebras ⋮ Logic of infinite quantum systems ⋮ Priestley duality for MV-algebras and beyond ⋮ Commutative \(L\)-algebras and measure theory ⋮ Convex MV-algebras: many-valued logics meet decision theory ⋮ Generalized EMV-effect algebras ⋮ On monadic MV-algebras ⋮ Kites and residuated lattices ⋮ On normal forms in Łukasiewicz logic ⋮ Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups ⋮ Morphisms on EMV-algebras and their applications ⋮ Fuzzy maximal ideals of BCI and MV algebras ⋮ Boolean algebras R-generated by MV-effect algebras ⋮ Decompositions of measures on orthoalgebras and difference posets ⋮ The Archimedean property: new horizons and perspectives ⋮ Extensions of real-valued difference posets ⋮ \(L\)-algebras and three main non-classical logics ⋮ Self-similar monoids related to Hahn groups ⋮ Structure groups of \(L\)-algebras and Hurwitz action ⋮ Fuzzy ideals of BCI and MV-algebras ⋮ Averaging the truth-value in Łukasiewicz logic ⋮ Generalized fuzzy connectives on \(MV\)-algebras ⋮ Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual ⋮ Noncommutative version of Nikodym boundedness theorem for uniform space- valued functions ⋮ MV-algebras as sheaves of \(\ell\)-groups on fuzzy topological spaces ⋮ A finite axiomatization of positive MV-algebras ⋮ EBL-algebras ⋮ Projective limits of \(MV\)-spaces ⋮ Recognizing free generating sets of \(\ell\)-groups ⋮ D-lattices ⋮ Strong law of large numbers in D-posets ⋮ A simplified duality for implicative lattices and \(l\)-groups ⋮ Fuzzy implicative and Boolean ideals of \(MV\)-algebras ⋮ Word problems in Elliott monoids ⋮ Quantum MV algebras ⋮ Towards understanding the Pierce-Birkhoff conjecture via MV-algebras ⋮ On non-associative generalizations of MV-algebras and lattice-ordered commutative loops ⋮ Stochastic independence for probability MV-algebras ⋮ Logical connectives on lattice effect algebras ⋮ Affine representations of \(\ell\)-groups and MV-algebras ⋮ An analysis of the logic of Riesz spaces with strong unit ⋮ MV-modules ⋮ Least \(V\)-quasivarieties of MV-algebras ⋮ Varieties of BL-algebras. I, revisited ⋮ Notes on divisible MV-algebras ⋮ A topological duality for monadic MV-algebras ⋮ Localization of PMV-algebras ⋮ MV-algebras with operators (the commutative and the non-commutative case). ⋮ Bounded Boolean powers and free product of GMV-algebras ⋮ Equational characterization of all varieties of MV-algebras ⋮ Non-commutative fuzzy structures and pairs of weak negations. ⋮ Convex and linear effect algebras ⋮ The going up and going down theorems in MV-algebras and abelian \(l\)-groups ⋮ Extending Stone duality to multisets and locally finite MV-algebras. ⋮ One chain generated varieties of MV-algebras ⋮ Some invariant skeletons for \(\ell\)-u groups and MV-algebras ⋮ One-sided orthogonality, orthomodular spaces, quantum sets, and a class of Garside groups ⋮ L-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation ⋮ A Loomis-Sikorski theorem and functional calculus for a generalized Hermitian algebra ⋮ Algebraic geometry for \(\ell \)-groups ⋮ Demiquantifiers on \(\ell \)-groups ⋮ Extension properties and subdirect representation in abstract algebraic logic ⋮ Idempotence of finitely generated commutative semifields ⋮ Extensions of witness mappings ⋮ A semiring-like representation of lattice pseudoeffect algebras ⋮ A logical and algebraic treatment of conditional probability ⋮ Generalized MV-algebras ⋮ The semiring-theoretic approach to MV-algebras: a survey ⋮ Rota's Fubini lectures: the first problem ⋮ Effect algebras as presheaves on finite Boolean algebras ⋮ Varieties of BL-algebras. II ⋮ Beth definability and the Stone-Weierstrass theorem ⋮ On the semisimple tensor product of MV-algebras ⋮ Pseudo effect algebras are algebras over bounded posets ⋮ Topological characterization of semisimple MV-algebras ⋮ Filter topologies and topological MV-algebras ⋮ Observables on synaptic algebras ⋮ On central limit theorems for IV-events ⋮ The two-sorted algebraic theory of states, and the universal states of MV-algebras ⋮ Topological characterization of filter topological MV-algebras ⋮ Equivalence à la Mundici for commutative lattice-ordered monoids ⋮ A variety containing EMV-algebras and Pierce sheaves of EMV-algebras ⋮ Closure operations on MV-algebras ⋮ Varieties of BL-algebras. I: General properties. ⋮ A relationship between the category of chain MV-algebras and a subcategory of abelian groups ⋮ Some fuzzy concepts of BCI, BCK and MV-algebras ⋮ MV-algebras embedded in a CL-algebra ⋮ Pro-finite MV-spaces ⋮ Expanding lattice ordered abelian groups to Riesz spaces ⋮ Tensor products and the Loomis-Sikorski theorem for MV-algebras ⋮ Convex effect algebras, state ordered effect algebras, and ordered linear spaces ⋮ AF-algebras with lattice-ordered \(K_0\): logic and computation ⋮ Weakly divisible MV-algebras and product ⋮ Fuzzy set representations of some quantum structures ⋮ On limit theorems in fuzzy quantum spaces ⋮ Prime ideals in free \(\ell\)-groups and free vector lattices ⋮ Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics ⋮ Sum of \(n\)-dimensional observables on MV-effect algebras ⋮ Algebraic structures in fuzzy logic ⋮ Geometrical methods in Wajsberg hoops ⋮ A measure-theoretic axiomatization of fuzzy sets ⋮ Stone Duality Type Theorems for MV-Algebras with Internal State ⋮ Geometry of Robinson consistency in Łukasiewicz logic ⋮ Lexicographic effect algebras ⋮ RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT ⋮ Cyclic elements and subalgebras of GMV-algebras ⋮ Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices ⋮ Commutative rings whose ideals form an MV-algebra ⋮ Perfect MV-algebras and their logic ⋮ Locally \(\sigma \)-complete and locally complete EMV-algebras ⋮ Group representation for even and odd involutive commutative residuated chains ⋮ Hahn-Banach theorems for MV-algebras ⋮ MV-algebras and partially cyclically ordered groups ⋮ Hulls of ordered algebras: projectability, strong projectability and lateral completeness ⋮ On the geometric theory of local MV-algebras ⋮ On pseudo-BL-algebras and pseudo-hoops with normal maximal filters ⋮ Compatibility of observables on effect algebras ⋮ When the lexicographic product of two po-groups has the Riesz decomposition property ⋮ The structure group of a non-degenerate effect algebra ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ From partially ordered monoids to partially ordered groups via free nuclear preimages ⋮ Unnamed Item ⋮ Unnamed Item ⋮ \(L\)-effect algebras ⋮ Two-dimensional observables and spectral resolutions ⋮ Quasi product on Boolean D-posets ⋮ Spectral resolutions and quantum observables ⋮ Orthocomplete pseudoMV-algebras ⋮ On EMV-algebras with square roots ⋮ Linear \(L\)-algebras and prime factorization ⋮ Classifying orbits of the affine group over the integers ⋮ On some extensions of the class of MV-algebras ⋮ Monadic MV-algebras. I: A study of subvarieties ⋮ Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras. ⋮ The center of a generalized effect algebra. ⋮ Kites and pseudo BL-algebras. ⋮ Monadic MV-algebras. II: Monadic implicational subreducts ⋮ States on wEMV-algebras ⋮ Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$ ⋮ Unnamed Item ⋮ MV-modules of fractions ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Coherence of the Product Law for Independent Continuous Events ⋮ On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events ⋮ ON THE LOOMIS–SIKORSKI THEOREM FOR MV-ALGEBRAS WITH INTERNAL STATE ⋮ States on semi-divisible residuated lattices ⋮ Effect algebras with compressions ⋮ On decomposition of pseudo BL-algebras ⋮ Automorphism groups of totally ordered sets: A retrospective survey ⋮ W. Charles Holland, 75th birthday ⋮ Abelian lattice-ordered groups and a characterization of the maximal spectrum of a Prüfer domain. ⋮ Convergence with a fixed regulator in lattice ordered groups and applications to MV-algebras ⋮ Observables, states, and symmetries in the context of CB-effect algebras ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Severi-Bouligand tangents, Frenet frames and Riesz spaces ⋮ Representation and extension of states on MV-algebras ⋮ Loomis-Sikorski representation of monotone \(\sigma\)-complete effect algebras ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ Sharp and meager elements in orthocomplete homogeneous effect algebras ⋮ Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ \(\bigstar\)-autonomous lattices and fuzzy sets ⋮ Categorical equivalence between \(\mathrm{PMV}_f \)-product algebras and semi-low \(f_u \)-rings ⋮ On generalized versions of central limit theorems for IF-events ⋮ Kolmogorov-Sinaj entropy on MV-algebras ⋮ Perfect effect algebras and spectral resolutions of observables ⋮ State-Homomorphisms on MV-Algebras ⋮ Right \(l\)-groups, geometric Garside groups, and solutions of the quantum Yang-Baxter equation ⋮ Representations of MV-algebras by sheaves ⋮ Forcing operators on MTL-algebras ⋮ Quantum computational algebra with a non-commutative generalization ⋮ Coexistence in interval effect algebras ⋮ Intervals of effect algebras and pseudo-effect algebras ⋮ Strong Poincaré recurrence theorem in MV-algebras ⋮ Representations of pseudo Vitali spaces and Loomis–Sikorski theorem ⋮ Ultramatricial algebras over commutative chain semirings and application to MV-algebras ⋮ An algebraic treatment of imprecise probabilities ⋮ Betting on continuous independent events ⋮ On an explicit representation of the Łukasiewicz sum as a quantum operation ⋮ \(R\)-norm entropy and \(R\)-norm divergence in product MV-algebras ⋮ States on EMV-algebras ⋮ Semiring and Semimodule Issues in MV-Algebras ⋮ On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings ⋮ Conditional probability on \(\sigma\)-MV-algebras ⋮ On fuzzy hidden variables ⋮ Observables on perfect MV-algebras ⋮ The annihilator of fuzzy subgroups ⋮ Splittings in GBL-algebras. II: The representable case ⋮ On EMV-algebras ⋮ Spectral resolutions in Dedekind \(\sigma\)-complete \(\ell\)-groups ⋮ THE LOOMIS–SIKORSKI THEOREM FOR -ALGEBRAS ⋮ Good and bad infinitesimals, and states on pseudo MV-algebras ⋮ Partial algebras for Łukasiewicz logics and its extensions ⋮ Boolean dominated MV-algebras ⋮ Lexicographic MV-algebras and lexicographic states. ⋮ Stone duality for real-valued multisets ⋮ Variation on a Poincaré theorem ⋮ Unitizing a generalized pseudo effect algebra. ⋮ From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices ⋮ A categorical equivalence for product algebras ⋮ Some classes of pseudo-BL algebras ⋮ Cantor-Bernstein theorem for MV-algebras ⋮ Distinguished extensions of an MV-algebra ⋮ Computing on Lattice-Ordered Abelian Groups ⋮ Isometries and direct decompositions of pseudo MV-algebras ⋮ A non-commutative generalization of MV-algebras ⋮ On intervals and isometries of MV-algebras ⋮ On Product MV-Algebras ⋮ The Chinese Remainder Theorem for Strongly Semisimple MV-Algebras and Lattice-Groups ⋮ The Riesz Hull of a Semisimple MV-Algebra ⋮ Pseudo MV-algebras are intervals in ℓ-groups ⋮ Unnamed Item ⋮ MV-Test Spaces Versus MV-Algebras ⋮ Unnamed Item ⋮ The Lebesgue state of a unital abelian lattice-ordered group ⋮ Remarks on effect-tribes ⋮ Generalized versions of MV-algebraic central limit theorems ⋮ Corrigendum to “Semiring and semimodule issues in MV-algebras, Communications in Algebra 41:3 (2013), 1017–1048” ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ Unnamed Item ⋮ Hyper BL-algebras ⋮ Unnamed Item ⋮ Subalgebras, direct products and associated lattices of MV-algebras ⋮ Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985 ⋮ A geometric proof of the completeness of the Łukasiewicz calculus ⋮ LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE ⋮ Inverse topological systems and compactness in abstract model theory ⋮ N-Fold Obstinate Ideals in MV-Algebras ⋮ Direct product decomposition of $MV$-algebras ⋮ Perfect GMV-Algebras ⋮ Semifields and a theorem of Abhyankar ⋮ Unnamed Item ⋮ Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras ⋮ A note on the first‐order logic of complete BL‐chains ⋮ Invariant Measures in Free MV-Algebras ⋮ Weak MV-algebras ⋮ Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups ⋮ Gödel incompleteness in AF C*-algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ STRICT COHERENCE ON MANY-VALUED EVENTS ⋮ Weak relatively uniform convergences on MV-algebras ⋮ Unnamed Item ⋮ From noncommutative diagrams to anti-elementary classes ⋮ Bézout Domains with Nonzero Unit Radical ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Bratteli diagrams via the De Concini–Procesi theorem ⋮ Unnamed Item ⋮ Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic ⋮ Unnamed Item ⋮ A non-associative generalization of MV-algebras ⋮ Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Cantor–Bernstein Property for MV-Algebras ⋮ A Note on Representing and Interpreting MV-Algebras ⋮ Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case ⋮ Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions ⋮ The Automorphism Group of Falsum-Free Product Logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups ⋮ Unnamed Item ⋮ Extensions of partially ordered partial abelian monoids ⋮ Faithful and Invariant Conditional Probability in Łukasiewicz Logic ⋮ Unnamed Item ⋮ On Free MV-Algebras ⋮ A Cantor-Bernstein Theorem for σ-Complete MV-Algebras ⋮ The block structure of complete lattice ordered effect algebras ⋮ Generic substitutions ⋮ Linear Logic and Lukasiewicz ℵ₀- Valued Logic: A Logico-Algebraic Study ⋮ Direct summands and retract mappings of generalized MV-algebras ⋮ Generalizations of pseudo MV-algebras and generalized pseudo effect algebras ⋮ A Geometric Approach to MV-Algebras ⋮ Varieties of MV-algebras ⋮ PerfectMV-Algebras andl-Rings ⋮ Central elements and Cantor-Bernstein's theorem for pseudo-effect algebras ⋮ Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem ⋮ Loomis-Sikorski theorem for monotone σ-complete effect algebras ⋮ On the Convergence with Fixed Regulator in Residuated Structures ⋮ Infinitary lattice and Riesz properties of pseudoeffect algebras and po-groups ⋮ Stable Non-standard Imprecise Probabilities ⋮ On some classes of state-morphism MV-algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Sheaf representations and locality of Riesz spaces with order unit ⋮ Covers of the Abelian Variety of Generalized MV-Algebras ⋮ A Simple Construction of Robinson Equivalence Relations ⋮ On complete $MV$-algebras ⋮ Every state on interval effect algebra is integral ⋮ Sequential convergences on $MV$-algebras ⋮ Unnamed Item ⋮ Consequence Relations with Real Truth Values ⋮ Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic ⋮ On the Extension of D-Poset Valued Measures ⋮ On archimedean MV-algebras ⋮ Complete generators and maximal completions of MV-algebras ⋮ Subdirect product decompositions of MV-algebras ⋮ Radical classes of MV-algebras ⋮ Free MV-Modules ⋮ Unnamed Item ⋮ The role of states in triangle algebras ⋮ Prime \(L\)-algebras and right-angled Artin groups ⋮ A set-theoretic proof of the representation of MV-algebras by sheaves ⋮ Spectrality in convex sequential effect algebras ⋮ Yosida frames in free abelian \(\ell \)-groups ⋮ Unnamed Item ⋮ The geometry of discrete \(L\)-algebras ⋮ \(n\)-dimensional observables on \(k\)-perfect MV-algebras and \(k\)-perfect effect algebras. I: Characteristic points ⋮ Varieties of K-lattices ⋮ Varieties of bounded K-lattices ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ De Vries powers and proximity Specker algebras ⋮ Involutive symmetric Gödel spaces, their algebraic duals and logic ⋮ On the Boolean algebra induced by a unital \(\ell\)-group ⋮ A solution to the MV-spectrum problem in size aleph one ⋮ Entropies and dynamical systems in Riesz MV-algebras ⋮ Separable MV-algebras and lattice-ordered groups ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Natural dualities for varieties of MV-algebras. I ⋮ The Hahn decomposition theorem for fuzzy measures and applications ⋮ Uniqueness of the implication for totally ordered MV-algebras ⋮ Decidable and undecidable prime theories in infinite-valued logic ⋮ Functorial representation theorems for MV\(_\Delta\) algebras with additional operators ⋮ MVW-rigs and product MV-algebras ⋮ MV-observables and MV-algebras ⋮ On the entropy of dynamical systems in product MV algebras ⋮ Adding structure to MV-algebras ⋮ Unnamed Item ⋮ On the enumeration of finite 𝐿-algebras ⋮ ALGEBRAIC EXPANSIONS OF LOGICS ⋮ L-algebras and topology

Cites Work

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1079157&oldid=13096241"