Note on deduction theorems in contraction-free logics
scientific article; zbMATH DE number 6040460
scientific article