We continue the investigation towards a logic-based approach to statistics within the infinitary conservative extension of Lukasiewicz logic IRL and prove versions of de Finetti's theorems on coherence and exchangeability. In particular we will prove a coherence criterion for a subclass of the variety of σ-complete Riesz MV-algebras in the conditional and unconditional case, and discuss de Finetti's exchangeability in a special case.
de Finetti's coherence and exchangeability in infinitary logic
Lapenta, Serafina
2022-01-01
Abstract
We continue the investigation towards a logic-based approach to statistics within the infinitary conservative extension of Lukasiewicz logic IRL and prove versions of de Finetti's theorems on coherence and exchangeability. In particular we will prove a coherence criterion for a subclass of the variety of σ-complete Riesz MV-algebras in the conditional and unconditional case, and discuss de Finetti's exchangeability in a special case.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
