Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency. (English) Zbl 1495.03039
Arieli, Ofer (ed.) et al., Arnon Avron on semantics and proof theory of non-classical logics. Cham: Springer. Outst. Contrib. Log. 21, 107-139 (2021).