Natural deduction for Post's logics and their duals
scientific article; zbMATH DE number 6913949