On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events

DOI10.1016/j.ijar.2020.12.023OpenAlexW3119975534MaRDI QIDQ2237146

Tommaso Flaminio

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

zbMATH Keywords

MV-algebrasfinite model propertyŁukasiewicz logicprobability logicstandard completenessstates of MV-algebras

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (1)

Special issue from the 15th European conference on symbolic and quantitative approaches to reasoning with uncertainty (ECSQARU 2019)

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