Natural deduction and normalisation for three- and four-valued Kleene-style logicsдоклад на конференции