Advanced Łukasiewicz calculus and MV-algebras
From MaRDI portal
Publication:626097
zbMath1235.03002MaRDI QIDQ626097
Publication date: 22 February 2011
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
MV-algebras; algebraic logic; Łukasiewicz logic; de Finetti coherence criterion; rational polyhedral geometry
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
06D35: MV-algebras
03B50: Many-valued logic
60B99: Probability theory on algebraic and topological structures
03G20: Logical aspects of ?ukasiewicz and Post algebras
Related Items
Sheaf representations and locality of Riesz spaces with order unit, Consequence Relations with Real Truth Values, ON SEMI MAXIMAL FILTERS IN BL-ALGEBRAS, Two notions of MV-algebraic semisimplicity relative to fixed MV-chains, Computing on Lattice-Ordered Abelian Groups, Profinite completions and MacNeille completions of finitely presented MV-algebras, Unnamed Item, THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS, $K$-theory of cluster $C^*$-algebras, Some remarks on divisible polyhedral MV-algebras, From noncommutative diagrams to anti-elementary classes, Bratteli diagrams via the De Concini–Procesi theorem, A Geometric Approach to MV-Algebras, Stable Non-standard Imprecise Probabilities, Exploring Infinitesimal Events through MV-algebras and non-Archimedean States, Belief Functions on MV-Algebras of Fuzzy Sets: An Overview, WHAT THE ŁUKASIEWICZ AXIOMS MEAN, On weak convex MV-algebras, Logical perspectives on the foundations of probability, Yosida frames in free abelian \(\ell \)-groups, Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\), Ideals of semisimple MV-algebras and convergence along set-theoretic filters, An elementary belief function logic, Rational Pavelka logic: the best among three worlds?, POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION, Fixpoint Theory -- Upside Down, A solution to the MV-spectrum problem in size aleph one, An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic, Towards a unified view on logics for uncertainty, Separable MV-algebras and lattice-ordered groups, STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES, STRICT COHERENCE ON MANY-VALUED EVENTS, Spectral spaces of countable Abelian lattice-ordered groups, The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic, Franco Montagna's work on provability logic and many-valued logic, Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras, Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups, MV-algebras freely generated by finite Kleene algebras., Leibniz interpolation properties, Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras., Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality, States in Łukasiewicz logic correspond to probabilities of rational polyhedra, The dual adjunction between MV-algebras and Tychonoff spaces, Interval MV-algebras and generalizations., Coproducts of distributive lattice-based algebras., On states and state operators on certain basic algebras, Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\), MV-algebras, infinite dimensional polyhedra, and natural dualities, Germinal theories in Łukasiewicz logic, Stone MV-algebras and strongly complete MV-algebras, Coordinatizing some concrete MV algebras and a decomposition theorem, Operators on Pavelka's algebras induced by fuzzy relations, An extension of Stone duality to fuzzy topologies and MV-algebras, Finite axiomatizability in Łukasiewicz logic, The spectrum problem for abelian \(\ell\)-groups and MV-algebras, Profinite MV-algebras and multisets., Łukasiewicz logic and Riesz spaces., Scalar extensions for algebraic structures of Łukasiewicz logic., The problem of artificial precision in theories of vagueness: a note on the rôle of maximal consistency, Ordered group-valued probability, positive operators, and integral representations, Morphisms on EMV-algebras and their applications, Recognizing free generating sets of \(\ell\)-groups, Word problems in Elliott monoids, Towards understanding the Pierce-Birkhoff conjecture via MV-algebras, Stochastic independence for probability MV-algebras, Affine representations of \(\ell\)-groups and MV-algebras, An analysis of the logic of Riesz spaces with strong unit, Polyhedral MV-algebras, Layers of zero probability and stable coherence over Łukasiewicz events, Notes on divisible MV-algebras, Logical entropy of dynamical systems in product MV-algebras and general scheme, Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics, Towards a probability theory for product logic: states, integral representation and reasoning, Some invariant skeletons for \(\ell\)-u groups and MV-algebras, Sheaves and duality, Duality theory and skeleta for semisimple MV-algebras, On central limit theorems for IV-events, Logics for belief functions on MV-algebras, Algebraic geometry for \(\ell \)-groups, Functional representation of finitely generated free algebras in subvarieties of BL-algebras, Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions, States of finite GBL-algebras with monoidal sum, The semiring-theoretic approach to MV-algebras: a survey, Beth definability and the Stone-Weierstrass theorem, On the semisimple tensor product of MV-algebras, Characterizations of \((U^2,N)\)-implications generated by 2-uninorms and fuzzy negations from the point of view of material implication, The two-sorted algebraic theory of states, and the universal states of MV-algebras, An approach to stochastic processes via non-classical logic, A variety containing EMV-algebras and Pierce sheaves of EMV-algebras, AF-algebras with lattice-ordered \(K_0\): logic and computation, On the complexity of validity degrees in Łukasiewicz logic, Priestley duality for MV-algebras and beyond, Cevian properties in ideal lattices of abelian \(\ell\)-groups, A finite axiomatization of positive MV-algebras, Risk analysis via Łukasiewicz logic, Locally \(\sigma \)-complete and locally complete EMV-algebras, Models, coproducts and exchangeability: notes on states on Baire functions, Pro-compactly finite MV-algebras, Depth-bounded belief functions, Spectral resolutions and quantum observables, Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics, Fixpoint theory -- upside down, On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events, Amalgamation and interpolation in ordered algebras., Universal properties of Łukasiewicz consequence, Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification, Implicit definability of truth constants in Łukasiewicz logic, Betting on continuous independent events, \(R\)-norm entropy and \(R\)-norm divergence in product MV-algebras, Łukasiewicz logics for cooperative games, On EMV-algebras, Cevian operations on distributive lattices, Coherence in the aggregate: a betting method for belief functions on many-valued events, Lexicographic MV-algebras and lexicographic states., Variation on a Poincaré theorem, Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem., Non-standard probability, coherence and conditional probability on many-valued events, Hahn-Banach theorems for MV-algebras, On the geometric theory of local MV-algebras, Bouligand-Severi tangents in MV-algebras., Are locally finite MV-algebras a variety?, De Finetti's coherence and exchangeability in infinitary logic, A Note on the Convex Structure of Uncertainty Measures on MV-algebras, Measures Induced by Units, The Differential Semantics of Łukasiewicz Syntactic Consequence, How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures?, Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$, Coherence of the Product Law for Independent Continuous Events, Quantitative Logic Reasoning, Generalized versions of MV-algebraic central limit theorems