We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: Algebras of Sets and Coherent Sets of Gambles

Abstract: In a recent work we have shown how to construct an information algebra of coherent sets of gambles defined on general possibility spaces. Here we analyze the connection of such an algebra with the set algebra of subsets of the possibility space on which gambles are defined and the set algebra of sets of its atoms. Set algebras are particularly important information algebras since they are their prototypical structures. Furthermore, they are the algebraic counterparts of classical propositional logic. As a consequence, this paper also details how propositional logic is naturally embedded into the theory of imprecise probabilities.
Comments: Submitted to ECSQARU 2021. arXiv admin note: text overlap with arXiv:2105.12037
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
MSC classes: 06-XX, 60-XX
ACM classes: H.0; G.3; I.1.3
Cite as: arXiv:2105.12986 [cs.LO]
  (or arXiv:2105.12986v1 [cs.LO] for this version)

Submission history

From: Arianna Casanova [view email]
[v1] Thu, 27 May 2021 08:14:38 GMT (231kb)

Link back to: arXiv, form interface, contact.