On unification and admissible rules in Gabbay-de Jongh logics

DSpace/Manakin Repository