most citedEncoding de Finetti's coherence within Lukasiewicz logic and MV-algebras

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

math.LO2023★ 1 cited

Encoding de Finetti's coherence within Lukasiewicz logic and MV-algebras

Tommaso Flaminio, Sara Ugolini

The present paper investigates proof-theoretical and algebraic properties for the probability logic FP(L,L), meant for reasoning on the uncertainty of Lukasiewicz events. Methodolo…