• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Articles
  • Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematic
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
October 8, 2026
HSE Experts Take Part in 23rd Annual Meeting of Valdai Discussion Club
The 23rd Annual Meeting of the Valdai Discussion Club was held from September 28 to October 1, 2026 under the theme ‘Responsibility for the Future: Limits of the Possible, or Limitless Possibilities?’ The forum brought together 120 experts from 40 countries, including representatives of China, the United States, India, Brazil, the United Kingdom, Germany, Egypt, Iran, and Japan.
October 7, 2026
‘Our Team Consists of True Leaders in Their Respective Academic Disciplines
The HSE International Centre of Decision Choice and Analysis studies a wide range of methods for analysing decision-making and possible scenarios for the development of natural, socio-economic, and political phenomena using various mathematical models. The application of advanced mathematical methods to forecasting helps to prevent negative outcomes and avoid erroneous decisions. The HSE News Service spoke to the centre’s director, Prof. Fuad Aleskerov, about its work.
October 6, 2026
International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod Brings Together Scientists from Russia and Serbia
The International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod’ was held at the Nizhny Novgorod House of Scientists from September 23 to 26. The event was organised by HSE University–Nizhny Novgorod and the Nizhny Novgorod House of Scientists, with the participation of Sberbank and the Institute of Physics Belgrade. The symposium was held for the second time: the first conference took place in 2025 and attracted considerable interest from the academic community.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematic

Logical Investigations. 2017. Vol. 23. No. 2. P. 76–95.
Vasyukov V. L.

It is well-known that the concept of da Costa algebra [3] reects most of the logical properties of paraconsistent propositional calculi Cn, 1< n <w introduced by N.C.A.da Costa. In [10] the construction of topos of functors from a small category to the category of sets was proposed which allows to yield the categorical semantics for da Costa's paraconsistent logic. Another categorical semantics for Cn would be obtained by introducing the concept of potos { the categorical counterpart of da Costa algebra (the name \potos" is borrowed from W.Carnielli's story of the idea of such kind of categories)

Research target: Philosophy, Ethics, and Religious Studies Mathematics
Language: English
Full text
DOI
Text on another site
Keywords: paraconsistent logiccategorical semanticspotosparaconsistent set theoryda Costa algebra
Similar publications
О воспроизводимости анализа временных рядов на основе матричных профилей
Брычков М. Е., Незнанов А.А., Программирование 2026 № 4 С. 50–66
The matrix profile (MP) quickly became one of the most important time series preprocessing methods when it was introduced in 2016, facilitating the solution of a wide range of time series analysis problems, in particular anomaly and pattern detection problems. The high significance has led to the emergence of various tools for MP calculating, but ...
Added: October 9, 2026
Теория вероятностей и математическая статистика. Олимпиадные задачи.
ООО "Издательство Юрайт ", 2026.
The Collection of Olympiad Problems (COP) in Probability Theory and Mathematical Statistics (PTMS) is offered as a teaching aid primarily for university students and faculty as a developmental supplementary resource, expanding the range of problems to be solved in lectures, seminars, and out-of-class independent work with students in various formats, including (as the title suggests) ...
Added: October 9, 2026
Рассказ о Вавилонской башне (Быт 11:1–9). Новый перевод и комментарий
Seleznev M., Луппова А. А., Вестник Свято-Филаретовского института 2026 Т. 18 № 1(57) С. 10–35
The story of the Tower of Babel (Gen 11:1-9) is one of the key episodes in the narratives of the Book of Genesis. In modern scholarship, various—often sharply divergent—datings of this pericope are proposed, as well as different interpretations of its place in the picture of the formation of the biblical text that was put ...
Added: October 9, 2026
История Каина и Авеля (Быт 4:1–16). Новый перевод и комментарий
Seleznev M., Луппова А. А., Вестник Свято-Филаретовского института 2026 Т. 18 № 2 (58) С. 322–349
Like other narratives in the Book of Genesis, the story of Cain and Abel (Gen 4:1–16) has been studied and commented upon for more than two millennia. However, recent scholarship has introduced significant revisions to traditional interpretations. Over the past five years, several monumental commentaries on Genesis 1–11 have been published, offering new—and sometimes mutually ...
Added: October 9, 2026
Человеко-машинная система анализа и улучшения качества условий проживания населения
Aleskerov F. T., Вайншток А. П., Делахова А. М. et al., Информационные процессы 2026 Т. 26 № 3 С. 895–913
The development and effective management of territorial entities are priority issues for all states, particularly in the context of the digital transformation of public administration. Over the past decade, the integration of information technologies into municipal and regional planning has significantly altered approaches to strategic development, service delivery, and public engagement. This paper describes the ...
Added: October 9, 2026
Linear dependencies, polynomial factors in the Duke–Erdős forbidden sunflower problem
Kupavskii A., Noskov F., Forum of Mathematics, Sigma 2026 Vol. 14 Article 124
We call a family of $s$ sets $\{F_1, \ldots, F_s\}$ a sunflower with $s$ petals if, for any distinct $i, j \in [s]$, one has $F_i \cap F_j = \cap_{u = 1}^s F_u$. The set $C = \cap_{u = 1}^s F_u$ is called the {\it core} of the sunflower. It is a classical result of ...
Added: October 8, 2026
Modulational Instability and Wave Dynamics in the Rotated Modified Gardner–Whitham Equation
Flamarion M. V., Pelinovsky E., Chaos, Solitons and Fractals 2026 Vol. 213 No. 2 Article 119245
This article concerns the study of modulational instability in the rotated-modified Gardner–Whitham (rmGW) equation. This model incorporates both quadratic and cubic nonlinearities, similarly to the Gardner equation, while also retaining the fully dispersive character of the Whitham equation together with a large-scale dispersive term analogous to that in the Ostrovsky equation. Using a classical multiple-scale asymptotic expansion, we ...
Added: October 8, 2026
Свобода, закон и воображение в лекциях Ф.В.Й.Шеллинга 1820-21 гг.
Rezvykh P. V., Вестник Российского университета дружбы народов. Серия: Философия 2019 Т. 23 № 1 С. 7–18
The article gives the detailed analysis of the ratio of freedom and imagination in an unpublished manuscript written by F.W.J. Schelling, which contains the materials for the lecture course read at Erlangen University in 1820-1821. The author focuses on the question of imagination as a condition for the possibility to unfold the modal differences that provide the ...
Added: October 7, 2026
Рецепция философии Ф.В.Й. Шеллинга в поздних работах А.Ф. Лосева
Rezvykh P. V., Вестник Российского университета дружбы народов. Серия: Философия 2026 Т. 30 № 1 С. 127–143
The issue delivers an analysis of schellingian motives in the later works by A.F. Losev. The author brings information about Losev’s retrospective evaluation of Schelling’s influence on the formation of his own philosophical approach, it’s specific character and it’s grade. The author shows that all the main investigation projects of the later Losev which have ...
Added: October 7, 2026
Автоматизированное построение математических теорий
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Added: October 7, 2026
Decision support system for improving the quality of life of the population
Aleskerov F. T., Chaika E., Дерендяев А. Б. et al., Procedia Computer Science 2026 No. 287 P. 590–595
Under conditions of dynamic socio-economic changes, effective planning and decision-making are key factors in ensuring a high quality of life for the population in territories. This paper presents a decision support system for territorial administrations for the development and implementation of sustainable development strategies, using one of the regions of the Russian Federation – the ...
Added: October 7, 2026
Space-Time Fluctuations in a Quasi-static Limit
Bernardin C., Gonçalves P., Olla S., Mathematical Physics Analysis and Geometry 2024 Vol. 27 No. 7
We consider the macroscopic limit for the space-time density fluctuations in the open symmetric simple exclusion in the quasi-static scaling limit. We prove that the distribution of these fluctuations converge to a gaussian space-time field that is delta correlated in time but with long-range correlations in space. ...
Added: October 6, 2026
To spike or not to spike: the whims of the Wonham filter in the strong noise regime
Bernardin C., Chhaibi R., Najnudel J. et al., Probability Theory and Related Fields 2026 Vol. 195 P. 1823–1875
We study the celebrated Shiryaev-Wonham filter (Wonham, W.M., in J. Soc. Ind. Appl. Math. 347–369, 1964) in its historical setup, where the hidden Markov jump process has two states. We are interested in the weak noise regime for the observation equation. Interestingly, this becomes a strong noise regime for the filtering equations. Earlier results of ...
Added: October 5, 2026
Цепная дробь Аски–Вильсона при qN=1
Ismailov A., Spiridonov V., Успехи математических наук 2026 Т. 81 № 5 С. 183–184
Получена новая формула для цепной дроби Аски–Вильсона в форме отношения двух  q-гипер-геометрических рядов. ...
Added: October 5, 2026
КРИТИКА ТЕОРИИ ПРЕКАРИАТА КАК "НОВОГО ОПАСНОГО КЛАССА" С ПОЗИЦИЙ ЮРИДИЧЕСКОЙ НАУКИ
Новиков Д. А., ЖУРНАЛ МИНИСТЕРСТВА НАРОДНОГО ПРОСВЕЩЕНИЯ (Словакия) 2023 № 10 С. 32–40
The article provides a critical analysis of the theory of the precariat as a "new dangerous class" from the standpoint of law science, namely the sectoral areas of labor and criminal law. The author argues that the precariat does not constitute a new socio-economic class. The author is convinced that the theory of the precariat, ...
Added: October 5, 2026
Explicit Formula for Inverse and Determinant in Geometric Algebras over Odd-dimensional Vector Spaces
Abdulkhaev K., Shirokov D., Advances in Applied Clifford Algebras 2026 Vol. 36 P. 1–21
In this paper, we present explicit formulas for the inverse and determinant in geometric (Clifford) algebras over vector spaces of dimension n = 7. The derivation of these formulas is made possible by generalizing the concept of conjugation to basis conjugation operations. We further develop a general method for constructing such formulas over odd-dimensional spaces ...
Added: October 4, 2026
Вторая антикритика на «Дух капитализма» Часть II. Позитивные выводы
Вебер М., Социологическое обозрение 2026 Т. 25 № 3 С. 318–353
In the concluding part of the Second Anti-Critique (1910), Max Weber summarizes the substantive findings of his own contributions to the debate with the historian Felix Rachfahl. In doing so, he uses the response to his relentless critic as an opportunity to articulate once again, in an explicit manner and for both his own benefit and that of the ...
Added: October 4, 2026
Cognitive Distortions Are Not Logical Errors: A Conceptual Clarification
Denisova V., Petrović N., Journal of Rational - Emotive and Cognitive - Behavior Therapy 2026 Vol. 44 No. 35 Article 35
Cognitive distortions are routinely described in cognitive-behavioral (CBT) and rational-emotive behavior (REBT) therapies as “errors in logic” or “illogical thinking.” While this terminology is pedagogically convenient, it often obscures a crucial conceptual distinction between violations of logical inference and problems related to the justification, scope, or evaluative force of belief content. In this paper, we do not ...
Added: July 15, 2026
The lattice of Belnapian modal logics: Special extensions and counterparts
Speranski S. O., Logic and Logical Philosophy 2016 Vol. 25 No. 1 P. 3–33
Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: introducing the classes (or rather sublattices) of so-called explosive, complete and classical Belnapian modal logics; assigning to every normal modal logic three special ...
Added: December 27, 2025
Некоторые предварительные условия для создания «многомировой теории всего» и развития интеллектуальной интуиции
Karpenko I., Логические исследования 2023 Т. 29 № 1 С. 9–29
The article questions some of the classical principles of thinking based on traditional intellectual intuition. In particular, the intuitive acceptability of the requirement of consistency, of the “anything follows from a contradiction” principle, of the law of the excluded middle, and some others are under challenge. The literature, especially logical one, devotes many studies to ...
Added: September 19, 2023
A Freedom beyond Conflict: The Logic of Internal Conflict and the Free Will in Maximus the Confessor
Lourié B., Scrinium: Journal of Patrology and Critical Hagiography 2018 Vol. 14 No. 1 P. 63–74
SummaryMaximus’ idea of appropriation of the divine will by deified humans, in any consistent interpretation, would mean their deprivation of their own freedom – exactly in the same manner as it could be in the case of servitude to sin. Maximus’ own logic, however, was paraconsistent when applied to the case of deification (whereas not ...
Added: October 8, 2018
The Logical Legacy of Nikolai Vasiliev and Modern Logic
Markin V., Springer, 2017.
This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ...
Added: June 29, 2018
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit