arXiv subjects

Malte S. Kließ

Publications and source records attributed to Malte S. Kließ.

2 recordsLinked to original sources

arXiv2015

Representation Theorems for Strong Predicate Exchangeability in Pure Inductive Logic

In Pure Inductive Logic, the principle of Strong Predicate Exchangeability is a rational principle based on symmetry that sits in between the principles of Predicate Exchangeability and Atom Exchangeability. We will show a de Finetti - style representation theorem for probability functions that satisfy this principle in addition to Unary Language Invariance.

math.LO↗

arXiv2013

Predicate Exchangeability and Language Invariance in Pure Inductive Logic

In Pure Inductive Logic, the rational principle of Predicate Exchangeability states that permuting the predicates in a given language L and replacing each occurrence of a predicate in an L-sentence $ϕ$ according to this permutation should not change our belief in the truth of $ϕ$. In this paper we study when a probability function w on a purely unary language L satisfying Predicate Exchangeability also satisfies the principle of Unary Language Invariance.

math.LO↗