On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events
From MaRDI portal
Publication:2237146
Recommendations
- Towards a standard completeness for a probabilistic logic on infinite-valued events
- Completeness theorem for probability models with finitely many valued measure in logic with integrals
- Probabilization of logics: completeness and decidability
- Computability of validity and satisfiability in probability logics over finite and countable models
- An analytic completeness theorem for logics with probability quantifiers
- Soundness and completeness of the axioms of a probabilistic modal logic
- Completeness theorem for propositional probabilistic models whose measures have only finite ranges
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
- scientific article; zbMATH DE number 32142
- On the satisfiability of some simple probabilistic logics
Cites work
- A constructive proof of McNaughton's theorem in infinite-valued logic
- A logic for reasoning about probabilities
- A logic for reasoning about the probability of fuzzy events
- A note on saturated models for many-valued logics
- A theorem about infinite-valued sentential logic
- Advanced Łukasiewicz calculus and MV-algebras
- Algebraic Analysis of Many Valued Logics
- Algebraic foundations of many-valued reasoning
- Algebraizable logics
- Averaging the truth-value in Łukasiewicz logic
- Bookmaking over infinite-valued events
- Convex MV-algebras: many-valued logics meet decision theory
- De Finetti's no-Dutch-book criterion for Gödel logic
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Every state on semisimple MV-algebra is integral
- scientific article; zbMATH DE number 48344 (Why is no real title available?)
- scientific article; zbMATH DE number 193123 (Why is no real title available?)
- scientific article; zbMATH DE number 3560492 (Why is no real title available?)
- scientific article; zbMATH DE number 7034312 (Why is no real title available?)
- scientific article; zbMATH DE number 6139903 (Why is no real title available?)
- Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
- Invariant Measures in Free MV-Algebras
- Is there a probability theory of many-valued events?
- Layers of zero probability and stable coherence over Łukasiewicz events
- Measures in Boolean Algebras
- Metamathematics of fuzzy logic
- Modal logics of uncertainty with two-layer syntax: a general completeness theorem
- MV-algebras with internal states and probabilistic fuzzy logics
- Non-standard probability, coherence and conditional probability on many-valued events
- Probability measures of fuzzy events
- Representation and extension of states on MV-algebras
- Strong non-standard completeness for fuzzy logics
- The two-sorted algebraic theory of states, and the universal states of MV-algebras
- Towards a probability theory for product logic: states, integral representation and reasoning
- Towards a standard completeness for a probabilistic logic on infinite-valued events
Cited in
(5)- Special issue from the 15th European conference on symbolic and quantitative approaches to reasoning with uncertainty (ECSQARU 2019)
- Towards a standard completeness for a probabilistic logic on infinite-valued events
- On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
- Nash meets Łukasiewicz: computing equilibria through logic
- A logic for reasoning about the probability of fuzzy events
This page was built for publication: On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2237146)
