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
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, 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
