Natural deduction for regular three-valued logics and their four-valued analoguesдоклад на конференции