Search for Research

Vasilyi Shangin

МГУ

Чем занимается

Ключевые темы по публикациям: Логика, рассуждение и знания; Современные исследования алгебры и логики; Логика, программирование и системы типов; Семантическая сеть и онтологии; Грубые множества и нечёткая логика.

Темы посчитаны по публикациям в OpenAlex; научный руководитель их не подтверждал

Выбранные работы

Все 42 в OpenAlex

Часть публикаций из профиля, по году от новых к старым. Это не полный список последних работ автора; работы без года — в конце.

  • Resolving Radzki’s issues with Łukasiewicz logics’ axiomatics via correspondence analysis2025
  • Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices2024
  • On Paracomplete Versions of Jaśkowski's Discussive Logic2024
  • A Supraclassical Probabilistic Entailment Relation2023
  • A classical first-order normalization procedure with $$\forall $$ and $$\exists $$ based on the Milne–Kürbis approach2023
  • Natural Deduction System in Paraconsistent Setting: Proof Search for PCont2012 · аннотация

    Abstract. This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics.…

  • Automated Natural Deduction for Propositional Linear-Time Temporal Logic2007 · аннотация

    We present a proof searching technique for the natural deduction calculus for the prepositional linear-time temporal logic and prove its correctness. This opens the prospect to apply our technique as an automated…

  • Natural Deduction Calculus for Linear-Time Temporal Logic2006

Наукометрия

9h-index
42публикаций
190цитирований

Написать научруку

Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.

Предложена самая свежая из выбранных работ профиля. Упомяни её, только если прочитал(а) и видишь связь со своей задачей.

Шаблон письма

Здравствуйте, [Имя Отчество]! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Хочу решать задачу: [какую задачу хочу решать / тема ВКР]. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]

Замени поля в квадратных скобках своими данными и отправь письмо из своей почты. Копирование сохраняет черновик и не отправляет письмо научруку.