Flaminio, T.; Hosni, H.; Lapenta, S. Convex MV-algebras: many-valued logics meet decision theory. (English) Zbl 1475.06007 Stud. Log. 106, No. 5, 913-945 (2018). Reviewer: Brunella Gerla (Varese) MSC: 06D35 91B06 × Cite Format Result Cite Review PDF Full Text: DOI Link
Beklemishev, Lev; Flaminio, Tommaso Franco Montagna’s work on provability logic and many-valued logic. (English) Zbl 1380.03004 Stud. Log. 104, No. 1, 1-46 (2016). Reviewer: Albert Hoogewijs (Gent) MSC: 03-03 03B45 03F45 03B48 03B50 03B52 03G25 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Flaminio, Tommaso; Montagna, Franco A logical and algebraic treatment of conditional probability. (English) Zbl 1064.03016 Arch. Math. Logic 44, No. 2, 245-262 (2005). Reviewer: Daniele Mundici (Firenze) MSC: 03B50 06D35 03B48 03G25 03B52 × Cite Format Result Cite Review PDF Full Text: DOI