Advanced Łukasiewicz calculus and MV-algebras

zbMATH Open1235.03002MaRDI QIDQ626097FDOQ626097

Authors: Daniele Mundici 

Publication date: 22 February 2011

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 2070196
• Algebraic foundations of many-valued reasoning
• scientific article; zbMATH DE number 1329672
• Non-commutative Multiple-Valued Logic Algebras
• States in Łukasiewicz logic correspond to probabilities of rational polyhedra

zbMATH Keywords

MV-algebrasalgebraic logicde Finetti coherence criterionrational polyhedral geometryŁukasiewicz logic

Mathematics Subject Classification ID

Probability theory on algebraic and topological structures (60B99) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) MV-algebras (06D35) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Cited In (only showing first 100 items - show all)

• Leibniz interpolation properties
• On central limit theorems for IV-events
• On the complexity of validity degrees in Łukasiewicz logic
• Algebraic geometry for \(\ell \)-groups
• Profinite MV-algebras and multisets.
• A finite axiomatization of positive MV-algebras
• Recognizing free generating sets of \(\ell\)-groups
• Cevian operations on distributive lattices
• Polyhedral MV-algebras
• Germinal theories in Łukasiewicz logic
• The dual adjunction between MV-algebras and Tychonoff spaces
• Scalar extensions for algebraic structures of Łukasiewicz logic.
• Convex MV-algebras: many-valued logics meet decision theory
• Towards a unified view on logics for uncertainty
• The spectrum problem for abelian \(\ell\)-groups and MV-algebras
• Functional representation of finitely generated free algebras in subvarieties of BL-algebras
• Ordered group-valued probability, positive operators, and integral representations
• Affine representations of \(\ell\)-groups and MV-algebras
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
• Sheaves and duality
• Bernoulli automorphisms of finitely generated free MV-algebras
• Coherence in the aggregate: a betting method for belief functions on many-valued events
• Franco Montagna's work on provability logic and many-valued logic
• Some invariant skeletons for \(\ell\)-u groups and MV-algebras
• The semiring-theoretic approach to MV-algebras: a survey
• Lexicographic MV-algebras and lexicographic states.
• Coproducts of distributive lattice-based algebras.
• Fixpoint theory -- upside down
• Finite axiomatizability in Łukasiewicz logic
• On the semisimple tensor product of MV-algebras
• Averaging the truth-value in Łukasiewicz logic
• Non-commutative Multiple-Valued Logic Algebras
• Stochastic independence for probability MV-algebras
• Interval MV-algebras and generalizations.
• Stone duality for \(R_0\)-algebras with internal states
• Notes on divisible MV-algebras
• Bouligand-Severi tangents in MV-algebras.
• On states and state operators on certain basic algebras
• Advances in the theory of \(\mu \)Ł\(\Pi \) algebras
• Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras
• Quantitative logic reasoning
• Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras.
• Towards a probability theory for product logic: states, integral representation and reasoning
• MV-algebras, infinite dimensional polyhedra, and natural dualities
• An elementary belief function logic
• States in Łukasiewicz logic correspond to probabilities of rational polyhedra
• Title not available (Why is that?)
• Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups
• Strict coherence on many-valued events
• Variation on a Poincaré theorem
• Stable non-standard imprecise probabilities
• Title not available (Why is that?)
• Towards understanding the Pierce-Birkhoff conjecture via MV-algebras
• Amalgamation and interpolation in ordered algebras.
• The differential semantics of Łukasiewicz syntactic consequence
• Priestley duality for MV-algebras and beyond
• Non-standard probability, coherence and conditional probability on many-valued events
• The problem of artificial precision in theories of vagueness: a note on the rôle of maximal consistency
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• Infinite valued Łukasiewicz logic
• Logics for belief functions on MV-algebras
• Duality theory and skeleta for semisimple MV-algebras
• Coordinatizing some concrete MV algebras and a decomposition theorem
• An asymptotically tight bound on countermodels for Łukasiewicz logic
• Spectral spaces of countable abelian lattice-ordered groups
• Title not available (Why is that?)
• Word problems in Elliott monoids
• MV-algebras freely generated by finite Kleene algebras.
• An extension of Stone duality to fuzzy topologies and MV-algebras
• Operators on Pavelka's algebras induced by fuzzy relations
• De Finetti's coherence and exchangeability in infinitary logic
• Stone MV-algebras and strongly complete MV-algebras
• Some remarks on the logic of probabilistic relevance
• \(R\)-norm entropy and \(R\)-norm divergence in product MV-algebras
• Fixpoint Theory -- Upside Down
• A logico-geometric comparison of coherence for non-additive uncertainty measures
• Belief functions on MV-algebras of fuzzy sets: an overview
• A solution to the MV-spectrum problem in size aleph one
• Universal properties of Łukasiewicz consequence
• Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
• Linear Logic and Lukasiewicz ℵ₀- Valued Logic: A Logico-Algebraic Study
• Cevian properties in ideal lattices of abelian \(\ell\)-groups
• On semi maximal filters in BL-algebras
• From Specker \(\ell\)-groups to Boolean algebras via \(\Gamma\)
• Morphisms on EMV-algebras and their applications
• On the geometric theory of local MV-algebras
• States of finite GBL-algebras with monoidal sum
• Sheaf representations and locality of Riesz spaces with order unit
• Yosida frames in free abelian \(\ell \)-groups
• Computing on Lattice-Ordered Abelian Groups
• Profinite completions and MacNeille completions of finitely presented MV-algebras
• Logical perspectives on the foundations of probability
• Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification
• $K$-theory of cluster $C^*$-algebras
• An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic
• A note on the convex structure of uncertainty measures on MV-algebras
• Some remarks on divisible polyhedral MV-algebras
• Natural dualities for varieties generated by finite positive MV-chains
• Betting on continuous independent events
• Beth definability and the Stone-Weierstrass theorem

This page was built for publication: Advanced Łukasiewicz calculus and MV-algebras

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