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-algebrasalgebraic logicŁukasiewicz logicde Finetti coherence criterionrational polyhedral geometry
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) MV-algebras (06D35) Many-valued logic (03B50) Probability theory on algebraic and topological structures (60B99) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Related Items
Priestley duality for MV-algebras and beyond ⋮ Cevian properties in ideal lattices of abelian \(\ell\)-groups ⋮ The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic ⋮ Ordered group-valued probability, positive operators, and integral representations ⋮ Morphisms on EMV-algebras and their applications ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ A finite axiomatization of positive MV-algebras ⋮ Generalized versions of MV-algebraic central limit theorems ⋮ Risk analysis via Łukasiewicz logic ⋮ Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras ⋮ Locally \(\sigma \)-complete and locally complete EMV-algebras ⋮ Recognizing free generating sets of \(\ell\)-groups ⋮ Hahn-Banach theorems for MV-algebras ⋮ Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups ⋮ Models, coproducts and exchangeability: notes on states on Baire functions ⋮ On the geometric theory of local MV-algebras ⋮ Word problems in Elliott monoids ⋮ Are locally finite MV-algebras a variety? ⋮ Towards understanding the Pierce-Birkhoff conjecture via MV-algebras ⋮ Stochastic independence for probability MV-algebras ⋮ MV-algebras freely generated by finite Kleene algebras. ⋮ Pro-compactly finite MV-algebras ⋮ De Finetti's coherence and exchangeability in infinitary logic ⋮ Leibniz interpolation properties ⋮ The Differential Semantics of Łukasiewicz Syntactic Consequence ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ Profinite MV-algebras and multisets. ⋮ Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras. ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ Affine representations of \(\ell\)-groups and MV-algebras ⋮ Łukasiewicz logic and Riesz spaces. ⋮ Depth-bounded belief functions ⋮ An analysis of the logic of Riesz spaces with strong unit ⋮ Scalar extensions for algebraic structures of Łukasiewicz logic. ⋮ Spectral resolutions and quantum observables ⋮ Polyhedral MV-algebras ⋮ Layers of zero probability and stable coherence over Łukasiewicz events ⋮ The problem of artificial precision in theories of vagueness: a note on the rôle of maximal consistency ⋮ Notes on divisible MV-algebras ⋮ Logics for belief functions on MV-algebras ⋮ Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics ⋮ States in Łukasiewicz logic correspond to probabilities of rational polyhedra ⋮ The dual adjunction between MV-algebras and Tychonoff spaces ⋮ Logical entropy of dynamical systems in product MV-algebras and general scheme ⋮ Interval MV-algebras and generalizations. ⋮ Bouligand-Severi tangents in MV-algebras. ⋮ Coproducts of distributive lattice-based algebras. ⋮ 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 ⋮ On states and state operators on certain basic algebras ⋮ Some invariant skeletons for \(\ell\)-u groups and MV-algebras ⋮ Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$ ⋮ Coordinatizing some concrete MV algebras and a decomposition theorem ⋮ Fixpoint theory -- upside down ⋮ STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES ⋮ STRICT COHERENCE ON MANY-VALUED EVENTS ⋮ Coherence of the Product Law for Independent Continuous Events ⋮ Quantitative Logic Reasoning ⋮ On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events ⋮ Sheaves and duality ⋮ Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) ⋮ Spectral spaces of countable Abelian lattice-ordered groups ⋮ Operators on Pavelka's algebras induced by fuzzy relations ⋮ An extension of Stone duality to fuzzy topologies and MV-algebras ⋮ MV-algebras, infinite dimensional polyhedra, and natural dualities ⋮ Germinal theories in Łukasiewicz logic ⋮ Algebraic geometry for \(\ell \)-groups ⋮ Stone MV-algebras and strongly complete MV-algebras ⋮ Duality theory and skeleta for semisimple MV-algebras ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Universal properties of Łukasiewicz consequence ⋮ 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 ⋮ Finite axiomatizability in Łukasiewicz logic ⋮ 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 ⋮ Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification ⋮ On central limit theorems for IV-events ⋮ The two-sorted algebraic theory of states, and the universal states of MV-algebras ⋮ An approach to stochastic processes via non-classical logic ⋮ A Note on the Convex Structure of Uncertainty Measures on MV-algebras ⋮ A variety containing EMV-algebras and Pierce sheaves of EMV-algebras ⋮ 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 ⋮ The spectrum problem for abelian \(\ell\)-groups and MV-algebras ⋮ On EMV-algebras ⋮ AF-algebras with lattice-ordered \(K_0\): logic and computation ⋮ Cevian operations on distributive lattices ⋮ Coherence in the aggregate: a betting method for belief functions on many-valued events ⋮ On the complexity of validity degrees in Łukasiewicz logic ⋮ Measures Induced by Units ⋮ 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 ⋮ 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 ⋮ 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 ⋮ 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 ⋮ Sheaf representations and locality of Riesz spaces with order unit ⋮ Belief Functions on MV-Algebras of Fuzzy Sets: An Overview ⋮ WHAT THE ŁUKASIEWICZ AXIOMS MEAN ⋮ Consequence Relations with Real Truth Values
