• 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
August 12, 2026
‘I Would Like My Research to Help Make the World a Calmer and Better Place
Whatever task Saraa Ali, Junior Research Fellow at the Laboratory of Methods for Big Data Analysis (LAMBDA) of the AI and Digital Science Institute (HSE Faculty of Computer Science), is working on, she thinks about how it can benefit people. She told the Young Scientists of HSE University project about her large family, diagnosing three-phase motors, and her dream of building a children’s home in her native country.
August 11, 2026
‘The Peak of Stupidity and ‘The Valley of Despair: HSE Economists Propose an Explanation for the Dunning–Kruger Effect
The Dunning–Kruger effect, which describes a sharp surge in self-confidence among beginners followed by an equally rapid decline as they gain experience, can be explained by the nature of the learning process and the acquisition of new knowledge. This conclusion was reached by Andrey Vorchik of the HSE Faculty of Economic Sciences together with independent researcher Murat Mamyshev. They developed a mathematical model of learning and demonstrated how subjective confidence is formed and changes as knowledge accumulates, as well as how teachers can reduce the ‘valley of despair’ experienced by learners.
July 24, 2026
‘I Like Self-Fulfilling Prophecies
Andrey Vorchik studies happiness, delivers popular science lectures, and believes that science should address social issues as well. In an interview for the Young Scientists of HSE University project, he spoke about how emotions influence decision-making, the Bermuda Triangle formed by the bathroom, refrigerator, and bed, and the ideal formula for education.

 

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
Data-Efficient Unsupervised Recalibration of Calorimeter Sensor Arrays Using Wasserstein Adversarial Learning
Ali S., Bocharnikov V., Ratnikov F. et al., Sensors 2026 Vol. 26 No. 16 Article 5024
Large distributed sensor arrays require repeated recalibration as radiation damage, material aging, gain variation, and readout drift alter channel responses. We studied a high-granularity calorimeter as a large sensor array and addressed unsupervised recalibration from two unpaired datasets: a nominal reference response and an aged response with attenuated cell-wise signals. Aging was modeled by a ...
Added: August 11, 2026
Интеллектуалы Муссолини: фашистская общественно-политическая мысль
Грегор Э. Д., СПб.: Владимир Даль, 2026.
Фашизм традиционно считался иррациональным и антиинтеллектуальным феноменом, ведомым мистицизмом и приверженным хаосу и грубой жестокости. Настоящее издание — итог почти четырех десятилетий исследований одного из ведущих  экспертов по этому вопросу, американского историка Энтони Джеймса Грегора. Он утверждает, что итальянский фашизм был не более и не менее иррациональным, чем другие революционные идеологии XX века. Грегор прослеживает историю ...
Added: August 10, 2026
Maps preserving two small values of λ-th upper scrambling index
Kulev Y., Maksaev A., Promyslov V., Linear Algebra and its Applications 2026 Vol. 730 P. 51–72
The notion of λ-th upper scrambling index was introduced by Huang and Liu in 2010, as a generalization of a notion considered by Akelbek and Kirkland in 2009. For a primitive digraph D, it is defined as the smallest positive integer k such that for every λ vertices of D there exist directed paths of lengths k from these vertices to a common vertex. This ...
Added: August 7, 2026
On the Matchings-Jack and Hypermap-Jack Conjectures for Labelled Matchings and Star Hypermaps
Kanunnikov A., Promyslov V., Vassilieva E., Electronic Journal of Combinatorics 2024 Vol. 31 No. 3 Article P3.6
Introduced by Goulden and Jackson in their 1996 paper, the matchings-Jack conjecture and the hypermap-Jack conjecture (also known as the b-conjecture) are two major open questions relating Jack symmetric functions, the representation theory of the symmetric groups and combinatorial maps. They show that the coefficients in the power sum expansion of some Cauchy sum for ...
Added: August 7, 2026
From hyperbolic to complex Euler integrals
Spiridonov V. P., Belousov N. M., Sarkissian G. A., Analysis and Mathematical Physics 2026 Vol. 16 Article 96
Hyperbolic hypergeometric integrals are defined as Barnes-type integrals of products of hyperbolic gamma functions. Their reduction to ordinary hypergeometric functions is well known. We study in detail their degeneration to complex hypergeometric functions. Namely, using uniform bounds on the integrands, we prove that the univariate hyperbolic beta integral and the conical function degenerate to two-dimensional ...
Added: August 4, 2026
Flexibility criterion for affine horospherical varieties
Gayfullin S., Kikteva V., Results in Mathematics 2026 Vol. 81 No. 5 Article 146
In this paper we obtain a criterion of flexibility for an affine complexity-zero horospherical variety. This result generalizes previously known results on flexibility of normal horospherical varieties, horospherical varieties with an action of a semisimple group, and non-normal toric varieties. ...
Added: August 3, 2026
О полуортогональных разложениях производных категорий диаграммных схем
Lunts V., Функциональный анализ и его приложения 2026 Т. 60 № 3 С. 127–129
Доказано, что канонические полуортогональные разложения производной категории диаграммной схемы индуцируют аналогичные разложения подкатегории совершенных комплексов. ...
Added: August 3, 2026
Mathematical methods of reinforcement learning
Belomestny D., Gasnikov A., Gladin E. et al., Russian Mathematical Surveys 2026 Vol. 81 No. 4(490) P. 3–90
Reinforcement learning (RL) is increasingly grounded in tools from probability, optimization, and operator theory. This survey organizes the mathematical structures that underpin the design and analysis of modern algorithms in RL. We begin from Markov decision processes (MDPs) and the Bellman operators, emphasizing contraction mappings, monotonicity, and fixed-point theory that yield convergence guarantees and rates ...
Added: August 3, 2026
Sums Related to Euler's Totient Function
A. Radomskii, Mathematical notes 2026 Vol. 119 No. 6 P. 1136–1147
We obtain an upper bound for the sum $\sum_{n\leq N} (a_{n}/\varphi (a_{n}))^{s}$, where $\varphi$ is Euler's totient function, $s\in\mathbb{N}$, and $a_{1},\ldots, a_{N}$ are positive integers (not necessarily distinct) with some restrictions. As applications, for any $t>0$, we obtain an upper bound for the number of $n\in [1,N]$ such that $a_{n}/ \varphi (a_{n})> t$. ...
Added: July 31, 2026
Университет как бытийно-исторический объект: опыт М. Хайдеггера
Митлянская М. Б., Высшее образование в России 2023 Т. 32 № 7 С. 157–166
The article is based on the historical and philosophical analysis of fragments of Martin Heidegger’s concept called “Seinsgeschichte”, in which the philosopher considered the phenomenon of the university and the current situation of sciences. Their condition, accord ing to the philosopher, is a direct consequence of the comprehensive extinction of the tradi tion of European ...
Added: July 31, 2026
«Черные тетради» Мартина Хайдеггера: бытийная история и метаполитика
Митлянская М. Б., Философские науки 2020 Т. 63 № 4 С. 132–151
Philosophers actively discuss Black Notebooks – Martin Heidegger's philosophical notebooks. Their publication opened for researchers a new field in the concept of existential history. The Notebooks are a good example of how closely related philosophical thought and the political atmosphere of time can be. Heidegger witnessed events that caused him to be confused. He had ...
Added: July 31, 2026
Хайдеггер глазами русских
Митлянская М. Б., Финиковый компот 2020 № 15 С. 263–266
Review of the anthology "Pro et contra" which has collected the works of several generations of Russian philosophers about Martin Heidegger. More than seventy articles, reviews and excerpts from books of the most significant researchers in this field, according to the editors of the almanac. Author of the review provides general information about the content ...
Added: July 31, 2026
Ректорство Мартина Хайдеггера: историко-философский анализ
Митлянская М. Б., Идеи и идеалы 2020 Т. 12 № 3 (45) С. 121–133
The idea of reorganizing a German university was revealed in the correspondence of the young Martin Heidegger and his friend Karl Jaspers. Prominent thinkers critically analyze the contribution of contemporaries and representatives of the previous generation of scientists and philosophers. Ambitious and confident in their abilities, they hatched a plan, as it seemed to them, ...
Added: July 30, 2026
Ключевые понятия и идеи концепции бытийной истории Мартина Хайдеггера
Митлянская М. Б., Вестник Пермского университета. Философия. Психология. Социология 2020 № 3 С. 384–394
The paper explores Martin Heidegger’s concept of the «history of being». This concept was created in the philosopher’s late period. Critically analyzing the own paths of existential philosophy revealed in Being and Time, Heidegger gradually forms a spectrum of being-historical notions that will occupy a central po sition in contemplation after «the turn». The methods ...
Added: July 30, 2026
Geschick (посыл Бытия) как конституирующая черта мифического
Митлянская М. Б., Известия Саратовского университета. Новая серия. Серия: Философия. Психология. Педагогика 2020 Т. 20 № 2 С. 149–153
This article is devoted to the task of identifying the constitutive attribute of the mythical. The study does not concern the phenomenon of the genesis of myth, considering only those features which allow the myth to survive significant changes, deconstruction and evasion, without losing the basis of its essence, where evasion (der Entzug) is one ...
Added: July 30, 2026
Понимание истины в Бытийной истории М. Хайдеггера
Митлянская М. Б., Финиковый компот 2019 № 14 С. 116–124
The text is devoted to the problem of truth in the late philosophy of Martin Heidegger. The in inquiry based on Heidegger's Plato's Doctrine of Truth. In this paper of his the German philosopher reflected on the "Allegory of the Cave" and through it expressed his understanding of the development concepts of truth and its ...
Added: July 30, 2026
Охота на колдуна из черного леса. Рецензия на сборник статей «Хайдеггер, «Черные тетради» и Россия»
Митлянская М. Б., Финиковый компот 2018 Т. 13 № 13 С. 114–116
Review of “Heidegger, Black Notebooks and Russia”. The text provides a critical review of the articles in the collection and criticizes politically biased interpretations of Heidegger’s philosophy. ...
Added: July 30, 2026
Политический подтекст концепции «бытийной истории» Мартина Хайдеггера в «Черных тетрадях»
Митлянская М. Б., Электронное научное издание Альманах Пространство и Время 2017 Т. 15 № 1 С. 37–42
Philosophical community took the recent publication of Martin Heidegger's philosophical diaries ("Black Notebooks") as a chal lenge and reacted to this event with stormy discussions and new accusations against philosopher of involvement in German Na tional Socialism and its crimes. From my point of view, it would be more competent to analyze the text and, ...
Added: July 30, 2026
Квадратичный закон взаимности и его обобщения
Абызов А. Н., Буутай П. Н., Математика и теоретические компьютерные науки 2026 Т. 4 № 2 С. 4–75
This paper is expository and methodological in nature and is devoted to the development of E.I. Zolotarev’s ideas embedded in his approach to the proof of the quadratic reciprocity law (1872). We consider extensions of Zolotarev’s approach to abstract number rings presented in the work of A. Brunyate and P.L. Clark (2015), and to finite ...
Added: July 30, 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