• 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
  • 2028
  • 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 25, 2026
Scientists Develop Algorithm for More Reliable Processors in Data Centres
Researchers from HSE MIEM and Samara University have developed the LRF-3D algorithm to automatically bypass idle nodes in three-dimensional networks-on-chip. Thanks to its hierarchical architecture, the algorithm outperforms existing solutions in both speed and path accuracy, improving processor reliability for use in data centres, supercomputers, and AI computing. The source code and test results are publicly available.
August 24, 2026
Researchers Develop Method for Direct Generation of Regulatory DNA
Researchers at HSE University have developed a model for generating promoters and enhancers—DNA sequences that regulate gene activity. The model works directly with DNA nucleotides, without first transforming them into a continuous numerical representation. This solution could be useful for applications in synthetic biology and gene therapy. The study results were presented at the ICLR 2026 Workshop ‘Generative AI in Genomics (Gen^2): Barriers and Frontiers.’
August 21, 2026
Social Integration: At the Crossroads of Knowledge and Values
The International Laboratory for Social Integration Research (ILSIR) at HSE University studies the challenges faced by vulnerable groups and explores ways to help them participate fully in everyday life. To develop effective solutions, the laboratory’s researchers combine cutting-edge methods with practical fieldwork. In this interview with the HSE News Service, Laboratory Head Elena Iarskaia-Smirnova discusses the laboratory’s work.

 

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
«Жизнь безопасная» и «жизнь свободная»: модальности свободы в политической философии Никколо Макиавелли
Dmitriev T., Полития: Анализ. Хроника. Прогноз 2026 № 2 С. 6–20
The article is devoted to the thematization of conceptions of freedom (la libertà) in the political teaching of Niccolò Machiavelli. Drawing on a close reading of the Florentine thinker’s works The Prince and Discourses on the First Decade of Titus Livy, the author concludes that Machiavelli’s concept of freedom does not have a single meaning, but rather several fundamental ones. Among ...
Added: August 28, 2026
The A Priori: Its Significance, Sources and Extent
Oxford University Press, 2026.
Traditionally, a justification for believing something is a priori if and only if it is independent of experience. Throughout Western philosophy ever since Plato, some of the most divisive questions have been whether a priori justification exists, how it is possible, and how far it reaches. This book is structured around these three main questions. ...
Added: August 28, 2026
Discrete Markowitz Portfolio Optimization with Open-Source Classical and Quantum-Inspired Solvers: A Cross-Market Walk-Forward Study
Avdoshin S.M., Patrushev K. A., Proceedings of the Institute for System Programming of the RAS 2026 No. 4 часть 2 P. 245–256
The cardinality-constrained Markowitz problem is NP-hard and traditionally solved with commercial MIQP solvers. Following the 2022 export restrictions that rendered both commercial MIQP software and cloud quantum platforms (IBM Quantum, D-Wave Leap) inaccessible from the Russian Federation, practitioners require open-source alternatives. This paper systematically compares three solver families for the discrete mean-variance problem: two open-source ...
Added: August 27, 2026
Benchmarking Synolitic Graphs for Autism Classification from Multisite Resting-State fMRI
Zaikin A., Vlasenko D., Zakharov D. et al., Diagnostics 2026 Vol. 16 No. 17 P. 1–15
Background/Objectives: Synolitic graphs (SGs) were developed for task-based fMRI, where edge weights encode the discriminative power of pairwise regional features; whether similar information can be recovered from resting-state data was untested. We benchmarked SGs for autism spectrum disorder (ASD) classification using the multisite ABIDE-I dataset (871 subjects: 403 subjects with ASD, 468 typical controls; 17 sites; CC200 atlas). Methods: Using ...
Added: August 27, 2026
Pyramidal solitons: existence, instability, and interactions
Melnikov I., Pelinovsky E., Nonlinear Dynamics 2026 No. 114 Article 934
Pyramidal solitons (solitons with more than two inflection points) of the generalized Korteweg–de Vries (KdV) equation are investigated. Necessary and sufficient conditions for the existence of such structures are presented. Within the framework of the generalized Gardner equation — the simplest model that admits pyramidal solitons as solutions — it is shown that these solutions ...
Added: August 27, 2026
Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование. Современные проблемы, приложения и проблемы истории. Материалы XXIV Международной конференции, посвящённой 110-летию со дня рождения академика Юрия Владимировича Линника и 110-летию со дня рождения профессора Андрея Борисовича Шидловского и 80-летию со дня рождения профессора Геннадия Ивановича Архипова
Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2025.
Сборник содержит материалы, представленные на XXIV Международной конференции «Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории», посвящённой 110-летию со дня рождения академика Юрия Владимировича Линника и 110-летию со дня рождения профессора Андрея Борисовича Шидловского и 80-летию со дня рождения профессора Геннадия Ивановича Архипова. Материалы конференции будут полезны научным работникам, ...
Added: August 27, 2026
О подходе к построению последовательности псевдослучайных чисел, основанном на разложениях 𝐸-функций с периодическими коэффициентами
Nesterenko A., Чирский В. Г., Матвеев В. Ю., Чебышевский сборник 2026 Т. 27 № 2 С. 118–127
The article presents the results of a practical study of the statistical properties of some sequences that are values ​​of functions of a special type. ...
Added: August 26, 2026
Демократия в эпоху социальных трансформаций: два различных подхода
Medushevsky A. N., Liberal.ru 2026
The Liberal Mission Foundation continues to introduce readers to new concepts of democracy and relevant publications. This discussion focuses on the challenges facing democracy in the era of globalization, as addressed in two recent books: *The Backsliders: Why Leaders Undermine Their Own Democracies* by S.C. Stokes (2025) and *Critical Theories and the Postsocialist Challenge: Race, ...
Added: August 26, 2026
Искусственный интеллект и этика будущего
Medushevsky A. N., Liberal.ru 2026
Today, more than ever before, the contribution of new technologies shapes the conditions of humanity's existence as a biological species, prompting a debate about its prospects for survival. This process of transformation—which spans every sphere of social and moral regulation, from family relations and child-rearing to the very meaning of life—is dividing public opinion between ...
Added: August 26, 2026
Воображаемые конституции: от полезной фикции до деструктивной утопии
Medushevsky A. N., Сравнительное конституционное обозрение 2026 Т. 35 № 2 (167) С. 4–29
In the context of the rapid changes in the modern world associated with globalization, informatiza tion, and the revision of ethical standards of mass behavior, legal theory faces a number of problems — the loss of consensus in understanding global constitutionalism, growing disagreements regard ing its values and principles, and unclear prospects for the future. ...
Added: August 26, 2026
Вопрос вопросов: может ли судья быть независим? Размышления о книге: Морщакова Т. Судья вне зависимости. М.: Фонд «Президентский Центр Б.Н.Ельцина», 2025
Medushevsky A. N., Сравнительное конституционное обозрение 2026 Т. 35 № 1 С. 53–77
Judges should be independent of politics, yet they are constantly ensnared by it. Politics haunts judges even where the full scope of constitutional guarantees for the separation of powers and an in dependent judiciary is in place, infiltrating the courtroom through variable interpretations of the val ues, principles, and norms of the constitution, the selection ...
Added: August 26, 2026
Добродетель и порок: этические кодексы маргинальных сообществ современной России. Часть 2
Medushevsky A. N., Вопросы теоретической экономики 2026 № 2 С. 146–164
It is generally accepted that the basis of social and legal stability in any society is a consensus on vir tue — the fundamental values of proper behavior, ways of maintaining and reproducing them. And, conversely, the destruction of this consensus is a sign of the loss of stability and divergence of positions of social ...
Added: August 26, 2026
Characterizing the Scheduling Performance of 5G NR Base Stations Under Signaling and Data Traffic Constraints
Eduard Sopin, Nazarin A., Begishev V. et al., IEEE Transactions on Vehicular Technology 2026 Vol. 75 No. 6 P. 10995–11007
Aimed at rate-greedy applications having extreme requirements for the data rate at the air interface, 5G New Radio (NR) systems may experience problems when the number of user equipment (UE) in the coverage of the cell increases due to limited capacity of the physical downlink control channel (PDCCH).The aim of this study is to explore ...
Added: August 26, 2026
Право и нравственность: этические кодексы как инструмент публично-правовой политики России// Сравнительное конституционное обозрение.
Medushevsky A. N., Сравнительное конституционное обозрение 2025 Т. 34 № 4 С. 135–166
The communist morality created in the USSR to form a “new man” was based on a code of moral values that replaced traditional religious ideas with the ideological postulates of a one-party dictator ship. The crisis and collapse of this ideology in post-Soviet Russia led to the emergence of an “ethi cal vacuum” — moral ...
Added: August 26, 2026
Следует ли повиноваться несправедливым законам? Моральный выбор в юриспруденции от Б.Н.Чичерина до современности.
Medushevsky A. N., Российская юстиция 2025 № 11 С. 14–25
Globalization has exacerbated the eternal conflict between law and ethics: should national laws be respected when they conflict with universal international principles of human rights; should the law-abiding attitude operate in the same way in democracies and authoritarian states, and calls for emancipation take into account the degree of internal freedom of society and its ...
Added: August 26, 2026
Plato’s cave as a co-working space
Zhdanov V., AI and Society 2026 P. n.d.–n.d.
The article reinterprets Plato’s famous allegory of the cave in the context of contemporary digital presence. Its starting point is the Argentina–England match at the 2026 World Cup, where the author notices spectators who, despite being able to watch Lionel Messi directly from the stands, prefer to record the action on their smartphones. Unlike Plato’s prisoners, ...
Added: August 25, 2026
Balanced sets and homotopy invariants of covers
Блудов М. В., Journal of Fixed Point Theory and Applications 2026 No. 28 Article 73
In this paper, we study a construction of homotopy invariants of open or closed covers, where the homotopy class is defined relative to a pair (V, r), with V a finite set of points in  and r a point in the interior of their convex hull. We show that the simplicial complex of non-balanced subsets associated with (V, r) has the homotopy ...
Added: August 25, 2026
Exact solutions for transport of distributed colloids in porous media
L.I. Kuzmina, Osipov , Y. V., Kolokoltseva, T. N., Advances in Water Resources 2026 Vol. 213 Article 105335
We study 1D transport of mobilized particles, detached from the solid matrix, in porous media (so-called fines migration). Three types of colloidal-suspension flow models are considered: (i) averaged model for multicomponent colloids with distributed properties; (ii) flow of binary colloids with interacting particles; (iii) discrete system for multicomponent low-concentration colloid. These models account for distributed ...
Added: August 25, 2026
MODEL OF DEEP BED FILTRATION IN A POROUS MEDIUM WITH HETEROGENEOUS POROSITY
Liudmila I. Kuzmina, Osipov, Y. V., International Journal for Computational Civil and Structural Engineering 2026 Vol. 22 No. 2 P. 138–148
Modeling the transport and sedimentation of small particles of suspensions and colloids in porous rocks is an important problem in subsurface hydromechanics. Particles entrained in fluid are transported and retained in the rock pores. The filtration process is determined by the number and size of pores and is characterized by porosity—the ratio of the void ...
Added: August 25, 2026
Exact Solutions to One-Dimensional Problem of Oil Displacement by Chemical
L.I.Kuzmina, Osipov Y. V., Mathematical notes, ISSN 0001-4346 2025 Vol. 116 No. 6 P. 1251–1261
We consider the displacement of oil by water with active chemical reagents in porous media. A one-dimensional model of reagent transport and deposition is defined by a hyperbolic system of first-order equations. The purpose of the article is to find the conditions for the existence of a continuous solution with discontinuous boundary and initial conditions. ...
Added: August 25, 2026
Хранители России. Антология.
Лупарева Н. Н., Parsamov V., Ананьев Д. А. et al., М.: ООО «Паблис», 2026.
The third volume of the anthology is publishing the writtings of the eariy Russian conservative thinkers: Seraphim of Sarov, N.M. Karamzin, A.S. Shishkov, F.V. Rostopchin, S.N. Glinka, A.S. Sturdza, M.L. Magnitsky, Archimandrite Photius, V.A. Zhukovsky, P.A. Vyazemsky. ...
Added: August 24, 2026
«Отечестволюбец»: общественно-политическая деятельность и взгляды Сергея Николаевича Глинки.
Лупарева Н. Н., Воронеж: Новый взгляд, 2012.
The study is a first integral research of the ideologic and socio-political biography of Sergey Nikolaevich Glnka, who was the one of distinguished representative of the early Russian conservatism. ...
Added: August 24, 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
  • 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