Анализ проблем непротиворечивости и степени противоречий в компьютерной логикедоклад на конференции