Decomposition Proof Systems for Gödel-Dummett Logics

Arnon Avron, Beata Konikowska. Decomposition Proof Systems for Gödel-Dummett Logics. Studia Logica, 69(2):197-219, 2001.

Abstract

Abstract is missing.