On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events
From MaRDI portal
Publication:2237146
DOI10.1016/j.ijar.2020.12.023OpenAlexW3119975534MaRDI QIDQ2237146
Publication date: 27 October 2021
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2020.12.023
MV-algebrasfinite model propertyŁukasiewicz logicprobability logicstandard completenessstates of MV-algebras
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Advanced Łukasiewicz calculus and 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
- MV-algebras with internal states and probabilistic fuzzy logics
- De Finetti's no-Dutch-book criterion for Gödel logic
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Metamathematics of fuzzy logic
- Convex MV-algebras: many-valued logics meet decision theory
- Layers of zero probability and stable coherence over Łukasiewicz events
- Towards a probability theory for product logic: states, integral representation and reasoning
- A logic for reasoning about probabilities
- Algebraic foundations of many-valued reasoning
- Averaging the truth-value in Łukasiewicz logic
- The two-sorted algebraic theory of states, and the universal states of MV-algebras
- Towards a standard completeness for a probabilistic logic on infinite-valued events
- Non-standard probability, coherence and conditional probability on many-valued events
- Strong non-standard completeness for fuzzy logics
- Representation and extension of states on MV-algebras
- Probability measures of fuzzy events
- Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
- Algebraic Analysis of Many Valued Logics
- A Note on Saturated Models for Many-Valued Logics
- Invariant Measures in Free MV-Algebras
- Algebraizable logics
- A constructive proof of McNaughton's theorem in infinite-valued logic
- Measures in Boolean Algebras
- A theorem about infinite-valued sentential logic
This page was built for publication: On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events