D. P. Skvortsov
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики
- Advanced Algebra and Logic
- Logic, Reasoning, and Knowledge
- Logic, programming, and type systems
- Rough Sets and Fuzzy Logic
- Semantic Web and Ontologies
Чем занимается
Ключевые темы по публикациям: Advanced Algebra and Logic; Logic, Reasoning, and Knowledge; Logic, programming, and type systems; Rough Sets and Fuzzy Logic; Semantic Web and Ontologies.
Последние работы
Все 33 в OpenAlex- Quantification in Nonclassical Logic2013
- Semantics of Non-Classical First Order Predicate Logics1990
- On axiomatization of many-valued logics associated with formalization of plausible reasonings1989
- On the predicate logics of finite Kripke frames1995
- On the Predicate Logic of Linear Kripke Frames and some of its Extensions2005
- Application of Machine Learning Methods for Classification of Appeals in the Field of Housing and Communal Inspection2025
On Systems of Slices in the Structure of Superintuitionistic Predicate (or Propositional) Logics. I2023 · аннотациясвернуть
The structure (i.e., the lattice) of superintuitionistic predicate logics is considered. An approach to classifying logics from the structure is discussed; this means that suitable partitions (via corresponding…
On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview2023 · аннотациясвернуть
The article presents a series of closely related papers that together make up a single piece of work, devoted to the description of a hierarchy of slices in the structure of superintuitionistic predicate logics and…
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Шаблон письма
Здравствуйте, D. P. Skvortsov! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «Quantification in Nonclassical Logic» (2013) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.