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 PDF BibTeX XML Cite \textit{L. Beklemishev} and \textit{T. Flaminio}, Stud. Log. 104, No. 1, 1--46 (2016; Zbl 1380.03004) Full Text: DOI OpenURL
Di Nola, A.; Dvurečenskij, A.; Lettieri, A. Stone duality type theorems for MV-algebras with internal state. (English) Zbl 1259.06015 Commun. Algebra 40, No. 1, 327-342 (2012). Reviewer: Jānis Cīrulis (Riga) MSC: 06D35 03B50 03G12 PDF BibTeX XML Cite \textit{A. Di Nola} et al., Commun. Algebra 40, No. 1, 327--342 (2012; Zbl 1259.06015) Full Text: DOI arXiv OpenURL
Spada, Luca \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic. (English) Zbl 1183.06006 Fuzzy Sets Syst. 159, No. 10, 1260-1267 (2008). Reviewer: Daniele Mundici (Firenze) MSC: 06D35 03B50 03G25 PDF BibTeX XML Cite \textit{L. Spada}, Fuzzy Sets Syst. 159, No. 10, 1260--1267 (2008; Zbl 1183.06006) Full Text: DOI OpenURL
Flaminio, Tommaso Strong non-standard completeness for fuzzy logics. (English) Zbl 1132.03332 Soft Comput. 12, No. 4, 321-333 (2008). MSC: 03B52 03H05 PDF BibTeX XML Cite \textit{T. Flaminio}, Soft Comput. 12, No. 4, 321--333 (2008; Zbl 1132.03332) Full Text: DOI OpenURL
Flaminio, Tommaso; Godo, Lluís A logic for reasoning about the probability of fuzzy events. (English) Zbl 1116.03018 Fuzzy Sets Syst. 158, No. 6, 625-638 (2007). MSC: 03B52 06D35 PDF BibTeX XML Cite \textit{T. Flaminio} and \textit{L. Godo}, Fuzzy Sets Syst. 158, No. 6, 625--638 (2007; Zbl 1116.03018) Full Text: DOI Link OpenURL
Marchioni, Enrico Possibilistic conditioning framed in fuzzy logics. (English) Zbl 1122.03022 Int. J. Approx. Reasoning 43, No. 2, 133-165 (2006). Reviewer: Mirko Navara (Praha) MSC: 03B52 94D05 PDF BibTeX XML Cite \textit{E. Marchioni}, Int. J. Approx. Reasoning 43, No. 2, 133--165 (2006; Zbl 1122.03022) Full Text: DOI OpenURL