Natural deduction systems for some nonsense logicsдоклад на конференции