MV-algebras with internal states and probabilistic fuzzy logics
From MaRDI portal
Publication:962839
DOI10.1016/j.ijar.2008.07.006zbMath1185.06007OpenAlexW2097299615MaRDI QIDQ962839
Franco Montagna, Tommaso Flaminio
Publication date: 7 April 2010
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2008.07.006
Related Items (79)
ON SEMI MAXIMAL FILTERS IN BL-ALGEBRAS ⋮ Stone Duality Type Theorems for MV-Algebras with Internal State ⋮ Convex MV-algebras: many-valued logics meet decision theory ⋮ Effect algebras with state operator ⋮ MV-pairs and state operators ⋮ The prime state ideal theorem in state residuated lattices ⋮ Ordered group-valued probability, positive operators, and integral representations ⋮ State pseudo equality algebras ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Generalized Bosbach states. I ⋮ Characterization of monadic BL-algebras by state operators ⋮ Generalized state maps and states on pseudo equality algebras ⋮ Unnamed Item ⋮ States on implication basic algebras ⋮ On pseudo BL-algebras with internal state ⋮ Unnamed Item ⋮ Internal states on equality algebras ⋮ Minimal prime state filters and state radicals on state pseudo BL-algebras ⋮ Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices ⋮ Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ State-morphism pseudo-effect algebras ⋮ Extending possibilistic logic over Gödel logic ⋮ Generalization of integral filters in BL-algebras and \(n\)-fold integral BL-algebras. ⋮ Subdirectly irreducible state-morphism BL-algebras ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ State operators on GMV algebras ⋮ The inheritance of BDE-property in sharply dominating lattice effect algebras and \((o)\)-continuous states ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Generalised states: a multi-sorted algebraic approach to probability ⋮ Generalized Bosbach and Riečan states based on relative negations in residuated lattices ⋮ State operators on generalizations of fuzzy structures ⋮ Equational characterization for two-valued states in orthomodular quantum systems ⋮ States and internal states on semihoops ⋮ State BL-algebras ⋮ Erratum to ``State-morphism MV-algebras ⋮ SOME CLASSES OF STATE IDEALS IN STATE MV -ALGEBRAS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ 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 ⋮ State hoops ⋮ Logical approach for two-valued states on quantum systems ⋮ On states and state operators on certain basic algebras ⋮ The lattices of 𝔏-fuzzy state filters in state residuated lattices ⋮ State maps on semihoops ⋮ STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES ⋮ On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events ⋮ Generalized state operators on residuated lattices ⋮ ON THE LOOMIS–SIKORSKI THEOREM FOR MV-ALGEBRAS WITH INTERNAL STATE ⋮ On state residuated lattices ⋮ Algebraic study to generalized Bosbach states on residuated lattices ⋮ Open problems from the 12th international conference on fuzzy set theory and its applications ⋮ 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 ⋮ Loomis-Sikorski theorem and Stone duality for effect algebras with internal state ⋮ States of finite GBL-algebras with monoidal sum ⋮ The semiring-theoretic approach to MV-algebras: a survey ⋮ Rota's Fubini lectures: the first problem ⋮ The coherence of Łukasiewicz assessments is NP-complete ⋮ On varieties of MV-algebras with internal states ⋮ State filters on fuzzy structures with internal states ⋮ 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 ⋮ Hybrid generalized Bosbach and Rie c̆ an states on non-commutative residuated lattices ⋮ Exploring Extensions of Possibilistic Logic over Gödel Logic ⋮ An algebraic treatment of imprecise probabilities ⋮ States on EMV-algebras ⋮ On the relationships between hybrid generalized Bosbach states and \(L\)-filters in non-commutative residuated lattices ⋮ On state ideals and state relative annihilators in De Morgan state residuated lattices ⋮ On residuated lattices with left and right internal state ⋮ State \(L\)-algebras and derivations of \(L\)-algebras ⋮ Lexicographic MV-algebras and lexicographic states. ⋮ State BCK-algebras and state-morphism BCK-algebras. ⋮ Simple, local and subdirectly irreducible state residuated lattices
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Conditional probability on MV-algebras
- Every state on semisimple MV-algebra is integral
- Bookmaking over infinite-valued events
- A logic for reasoning about the probability of fuzzy events
- Representation and reticulation by quotients of MV-algebras
- Tensor products and the Loomis-Sikorski theorem for MV-algebras
- Metamathematics of fuzzy logic
- Algebraic foundations of many-valued reasoning
- Averaging the truth-value in Łukasiewicz logic
- De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic]
- Complexity of fuzzy probability logics. II
- Strong non-standard completeness for fuzzy logics
- Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
- Algebraic Analysis of Many Valued Logics
- Algebraizable logics
- The Lebesgue state of a unital abelian lattice-ordered group
- Amalgamations of Lattice Ordered Groups
- A theorem about infinite-valued sentential logic
This page was built for publication: MV-algebras with internal states and probabilistic fuzzy logics