• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Total Equivalence Systems for Classes of 3-valued Projection Logic whose Projections Equal to the Class of Linear Boolean Functions
  • 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
September 15, 2026
Immunity to Chaos: How Personal Resources Help Us Cope with the Challenges of a Turbulent World
International conflicts, crises and digital overload—the modern world puts our minds to the test every day. Traditional psychology often focuses on the consequences: anxiety, depression, and psychosomatic disorders. But what if we looked at the problem differently—through the lens of the resources that prevent us from breaking down? Psychological immunity is precisely this set of resources. Alena Zolotareva and her group, Psychological Immunity as a Resource for Positive Functioning, are developing an integrative model of this phenomenon, adapting diagnostic tools and preparing for large-scale empirical research. Why do psychologists need to collaborate with medical professionals, and how could their research transform preventive care in clinics and corporations?
September 11, 2026
How to Assess Students Knowledge in the Age of AI
A researcher at HSE University has proposed a flowchart to help lecturers decide how to assess students who use artificial intelligence. It shows where the use of AI should be restricted and where it can be incorporated into the learning process. The article has been published in IT Professional.
September 9, 2026
‘Balkan Hospitality Opens Doors: Studying Dialects on the Verge of Extinction
You cannot study spoken dialects from books. Instead, you need to go to a village, seek out its elders, and earn the trust of local residents before you can record hours of spontaneous stories. This is how Natalia Muravleva, Associate Professor at the Faculty of Humanities, conducts her research. Her internship in Serbia continued her long-standing study of dialects spoken by Macedonian settlers. In this interview, she discusses how diaspora cultural centres help researchers reach informants, why native speakers need to be interviewed only in their own language (otherwise, as she puts it, they may 'break'), and how a single field season helped her finalise her monograph. She also shares warm memories of autumn in Belgrade and of colleagues with whom grammar can be discussed in three languages at once.

 

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

?

Total Equivalence Systems for Classes of 3-valued Projection Logic whose Projections Equal to the Class of Linear Boolean Functions

Ch. 23. P. 82–86.
Olga Gerasimova, Makarov I.

We give a complete description of total equivalence systems (TES) for formulas based on closed classes of functions from the projection logic P3,2 with the property that the restrictions of its functions to the set {0,1} constitute a closed class of linear Boolean functions. For each such class, we find a total equivalence system, providing an algorithm for a transformation of an arbitrary formula to its canonical form.
 

Language: English
Full text
Text on another site
Keywords: замкнутые классыclosed classesMany-valued logicsfinite total equivalence systemМногозначные логикиконечная полная система тождеств

In book

Proceedings of the 10th Panhelleic Logic Symposium
Samos Island: University of Aegean, 2015.
Similar publications
Замкнутые классы инфинитарных функций и их приложения в теории ультрафильтров
Н. Л. Поляков, В кн.: Algebra and Model Theory 14Vol. 14.: Novosibirsk: ., 2023. С. 102–112.
The Galois theory for closed classes of infinitary functions and some of its applications in the theory of ultrafilters are considered. ...
Added: November 23, 2023
Game-theoretical interpretation of abelian logic A
Pavlova A., Logical Investigations 2019 Vol. 25 No. 2 P. 75–93
In the present paper we introduce a variation of Giles’s game that captures the semantics of Slaney and Meyer’s Abelian logic. This is a variation of the game earlier proposed for the Lukasiewicz infinitely-valued logic. We discuss two possible interpretations of this game. One of the interpretations involves a reference to different types of agents. We also give a ...
Added: September 20, 2019
О замкнутых симметричных классах функций, сохраняющих любой одноместный предикат
Polyakov N. L., Шамолин М. В., Вестник Самарского государственного университета. Естественнонаучная серия 2013 № 6(107) С. 61–73
We give an effective description of symmetric closed classes of discrete functions preserving any unary predicate. ...
Added: October 5, 2018
Об одном фрагменте решётки замкнутых классов функций многозначной логики
Mikhailovich A., В кн.: Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем".: Улан-Удэ: Издательство Бурятского госуниверситета, 2017. С. 91–95.
Lattice of all closed classes from closure of all functions from Janov and Muchnik examples has been described. ...
Added: September 22, 2017
О базируемости классов функций трехзначной логики, порожденных периодическими симметрическими функциями
Mikhailovich A., В кн.: Материалы XII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова (Москва, МГУ, 20-25 июня 2016г.).: М.: Изд-во механико-математического факультета МГУ, 2016. С. 209–212.
Closed classes of three-valued logic, generated by periodical functions taking values from the set {0,1} are considered. Criteria of basis exitstence and finite basis existence for classes generated by periodical functions with period of the form p^k (p is fixed prime number, k is arbitrary natural number) are obtained. ...
Added: September 1, 2016
Eastern Proto-Logics
Schang F., , in: New Directions in Paraconsistent Logic.: Springer, 2015. P. 529–552.
Added: June 14, 2016
Some Closed Classes of Three-Valued Logic Generated by Periodic Symmetric Functions
Mikhailovich A., / Series math "arxiv.org". 2016.
Closed classes of three-valued logic generated by periodic symmetric funtions that equal $1$ in tuples from $\{1,2\}^n$ and equal $0$ on the rest tuples are considered. Criteria for bases existence and finite bases existence for these classes is obtained. ...
Added: April 15, 2016
О некоторых свойствах замкнутых классов, порождённых квазиоднослойными функциями трехзначной логики
Mikhailovich A., В кн.: Материалы X молодежной научной школы по дискретной математике и ее приложениям.: М.: Издательство ИПМ РАН, 2015. С. 51–55.
Closed classes of three-valued logic functions generated by quazi-symmetric functions that take values from the set {0,1} are considered. Criteria of basis existence and finite basis existence have been obtained. ...
Added: April 8, 2016
Behavior of the Shannon Function for Some Families of Classes of Three-Valued Logic Functions
Dagaev D., Moscow University Mathematics Bulletin 2012 Vol. 67 No. 4 P. 182–184
Added: March 21, 2016
Franco Montagna’s Work on Provability Logic and Many-valued Logic
L. Beklemishev, Flaminio T., Studia Logica 2016 Vol. 104 No. 1 P. 1–46
Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic. ...
Added: March 13, 2016
Separator Method for Constructing Canonical Types of Formulas
Olga Gerasimova, Makarov I., , in: Handbook of the 5th World Congress and School on Universal Logic.: Istanbul: University of Istanbul, 2015. P. 372–373.
We present a new method of nding the canonical types of formulas based on three-valued projection logic functions. The method is focused on separation of all tuples of values for variables into disjoint sets. For every such set we take its own simple canonical type that identi es this set. Combining the results for each set ...
Added: September 19, 2015
  • 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