Beth definability in relevance logics with the Gödel-Dummett axiom
Given at Czech Gathering of Logicians/Kurt Gödel Day in 2021 at Brno, Czech Republic
is part of
talks
