Averaging the truth-value in Łukasiewicz logic
From MaRDI portal
Publication:1896758
DOI10.1007/BF01053035zbMath0836.03016MaRDI QIDQ1896758
Publication date: 2 May 1996
Published in: Studia Logica (Search for Journal in Brave)
MV algebrasfinitely additive measuresaverage degree of truthnoncommutative \(C^*\)-algebraic measures
Other algebras related to logic (03G25) Other ``noncommutative mathematics based on (C^*)-algebra theory (46L89) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Related Items
Stone Duality Type Theorems for MV-Algebras with Internal State, On the Complexity of Non-reversible Betting Games on Many-Valued Events, Unnamed Item, State pseudo equality algebras, Generalized Bosbach states. I, Borderlines and probabilities of borderlines: on the interconnection between vagueness and uncertainty, De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic], MV-Test Spaces Versus MV-Algebras, States on implication basic algebras, Hahn-Banach theorems for MV-algebras, Geometrical aspects of possibility measures on finite domain MV-clans, Extension of belief functions to infinite-valued events, Unnamed Item, On pseudo-BL-algebras and pseudo-hoops with normal maximal filters, Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices, Hyper BL-algebras, How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures?, The extension of L-algebras and states, Generalized valuations on MTL-algebras, THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS, SOME CLASSES OF STATE IDEALS IN STATE MV -ALGEBRAS, Invariant Measures in Free MV-Algebras, Unnamed Item, State hoops, Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$, Unnamed Item, The lattices of 𝔏-fuzzy state filters in state residuated lattices, STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES, STRICT COHERENCE ON MANY-VALUED EVENTS, Coherence of the Product Law for Independent Continuous Events, ON THE LOOMIS–SIKORSKI THEOREM FOR MV-ALGEBRAS WITH INTERNAL STATE, States on semi-divisible residuated lattices, Strong non-standard completeness for fuzzy logics, Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence, Unnamed Item, Unnamed Item, Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic, Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions, The Automorphism Group of Falsum-Free Product Logic, Representation and extension of states on MV-algebras, Unnamed Item, Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups, Unnamed Item, Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids, Unnamed Item, Faithful and Invariant Conditional Probability in Łukasiewicz Logic, State-Homomorphisms on MV-Algebras, A Note on the Convex Structure of Uncertainty Measures on MV-algebras, Perfect residuated lattice ordered monoids, Hybrid generalized Bosbach and Rie c̆ an states on non-commutative residuated lattices, Exploring Extensions of Possibilistic Logic over Gödel Logic, Exploring Infinitesimal Events through MV-algebras and non-Archimedean States, On some classes of state-morphism MV-algebras, An algebraic treatment of imprecise probabilities, Unnamed Item, Belief Functions on MV-Algebras of Fuzzy Sets: An Overview, Good and bad infinitesimals, and states on pseudo MV-algebras, Measures Induced by Units, Hierarchical structure and applications of fuzzy logical systems, Simple, local and subdirectly irreducible state residuated lattices, States on hyper MV-algebras, Integrated semantics and logic metric spaces, Convex MV-algebras: many-valued logics meet decision theory, States on quantum and algebraic structures and their integral representation, Effect algebras with state operator, MV-pairs and state operators, Ordered group-valued probability, positive operators, and integral representations, States on semi-divisible generalized residuated lattices reduce to states on MV-algebras, Franco Montagna's work on provability logic and many-valued logic, Characterization of monadic BL-algebras by state operators, Generalized state maps and states on pseudo equality algebras, Every state on semisimple MV-algebra is integral, State theory on bounded hyper EQ-algebras, Bernoulli automorphisms of finitely generated free MV-algebras, Internal states on equality algebras, Models, coproducts and exchangeability: notes on states on Baire functions, Bookmaking over infinite-valued events, A logic for reasoning about the probability of fuzzy events, NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach, Every linear pseudo BL-algebra admits a state, Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices, Stochastic independence for probability MV-algebras, Atomic effect algebras with the Riesz decomposition property, State-morphism pseudo-effect algebras, Łukasiewicz logic and Riesz spaces., Measure-free conditioning and extensions of additive measures on finite MV-algebras, Measures, states and de Finetti maps on pseudo-BCK algebras, Extending possibilistic logic over Gödel logic, An analysis of the logic of Riesz spaces with strong unit, States on finite linearly ordered IMTL-algebras, Subdirectly irreducible state-morphism BL-algebras, State operators on GMV algebras, Generalised states: a multi-sorted algebraic approach to probability, Layers of zero probability and stable coherence over Łukasiewicz events, Generalized Bosbach and Riečan states based on relative negations in residuated lattices, State operators on generalizations of fuzzy structures, States on commutative basic algebras, States and internal states on semihoops, Commutative pseudo-equality algebras, State BL-algebras, Logics for belief functions on MV-algebras, Nonclassical probability and convex hulls, States in Łukasiewicz logic correspond to probabilities of rational polyhedra, Partially undetermined many-valued events and their conditional probability, A logical characterization of coherence for imprecise probabilities, State morphism MV-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, States on wEMV-algebras, States on \(R_{0}\) algebras, Conditioning a state by a Łukasiewicz event: a probabilistic approach to Ulam games, State maps on semihoops, On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events, Probability over Płonka sums of Boolean algebras: states, metrics and topology, On state residuated lattices, Algebraic study to generalized Bosbach states on residuated lattices, MV-algebras with internal states and probabilistic fuzzy logics, States, state operators and quasi-pseudo-MV algebras, New types of generalized Bosbach states on non-commutative residuated lattices, Non-reversible betting games on fuzzy events: complexity and algebra, Probability measures in the logic of nilpotent minimum, States on Hilbert algebras, States on polyadic MV-algebras, A probability measure for partial events, Representing uncertainty on set-valued variables using belief functions, A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain, States on finite monoidal t-norm based algebras, Loomis-Sikorski theorem and Stone duality for effect algebras with internal state, States of finite GBL-algebras with monoidal sum, Rota's Fubini lectures: the first problem, The coherence of Łukasiewicz assessments is NP-complete, On varieties of MV-algebras with internal states, Is it possible to define conditional expectations for probability charges?, Commutative deductive systems of pseudo-BCK-algebras, EQ-algebras with internal states, The two-sorted algebraic theory of states, and the universal states of MV-algebras, An approach to stochastic processes via non-classical logic, Probabilities on Lukasiewicz-Moisil algebras, Łukasiewicz logic and the divisible extension of probability theory, Betting on continuous independent events, Representations for logics and algebras related to revised drastic product t-norm, States on EMV-algebras, On the relationships between hybrid generalized Bosbach states and \(L\)-filters in non-commutative residuated lattices, State-morphism MV-algebras, Interpretation of De Finetti coherence criterion in Łukasiewicz logic, Commutative deductive systems in probability theory on generalizations of fuzzy structures, Observables on perfect MV-algebras, On residuated lattices with left and right internal state, On EMV-algebras, Convex effect algebras, state ordered effect algebras, and ordered linear spaces, MV-algebras, multiple bets and subjective states, Weakly divisible MV-algebras and product, The existence of states based on Glivenko semihoops, A view on state operators in Sheffer stroke basic algebras, Coherence in the aggregate: a betting method for belief functions on many-valued events, Lexicographic MV-algebras and lexicographic states., State BCK-algebras and state-morphism BCK-algebras., Non-standard probability, coherence and conditional probability on many-valued events, Bounded commutative residuated \(\ell\)-monoids with general comparability and states, Representations of monadic MV-algebras
Cites Work
- Unnamed Item
- An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
- Extending addition in Elliott's local semigroup
- Reconstructing \(C^*\)-algebras from their Murray von Neumann orders
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- A constructive proof of McNaughton's theorem in infinite-valued logic
- PROBABILITY MEASURES ON PROJECTIONS IN VON NEUMANN ALGEBRAS
- Lattices of continuous functions
- A theorem about infinite-valued sentential logic
