加载中…
In this paper we study the interaction between logic and probability. In particular, we show that the convex hull of evaluations of a broad class of logics is always effectively axiomatizable. We define a Birkhoff-style calculus for probability axioms for which compactness, and finite completeness is proved. We give example for a logic for which probabilities are not finitely axiomatizable.

生成讲解博客的中文版本

生成AI智能校验的中文版本