Monotone operators on Gödel logic

We consider an extension of Gödel logic by a unary operator that enables the addition of non-negative reals to truth-values. Although its propositional fragment has a simple proof system, first-order validity is Π 2 -hard. We explain the close connection to Scarpellini’s result on Π 2 -hardness of Łukasiewicz’s logic.