### Logic List Mailing Archive

## Franco Montagna (1958-2015)

Prof. Franco Montagna died on February 18, 2015, at 56. He was Professor
of Mathematical Logic at the University of Siena. International leading
logician, with more than forty coauthors worldwide, Franco Montagna has
given fundamental contributions to provability logic, the logic of
uncertainty, and in particular many-valued logics: in this field, his
results are related to Lukasiewicz Logic with additional operators, such
as product and product residuation, the generalizations of Lukasiewicz
logic, such as Hjek's logic BL, and its further generalizations like the
logic of GBL-algebras or the monoidal t-norm logic, as well as the
connections between many-valued logic and substructural logics. A more
recent interest of Franco was the coherence problem for probabilistic
assessment of many valued events. Althogh not a professional computability
theorist, he cultivated and used computability theory throughout his work,
with the rigour and elegance which characterized his mathematical style.
He served in the Program Committee of CiE 2007. He will be remembered as a
fine researcher, and as a precious teacher, beloved by his students.
Colleagues and friends will remember him for his goodness, his generosity,
and his gentleness.