• 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
  • 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
July 20, 2026
Scientists Create Open Dataset for Studying Concentration
A team of Russian researchers, including scientists from HSE University–St Petersburg, has developed the first open multimodal dataset containing recordings of brain activity, heart function, and video observations to help researchers understand what happens in the human brain during deep concentration. In the future, the dataset could accelerate the development of neural interfaces, rehabilitation technologies, and AI systems. The article has been published in Scientific Data.
July 20, 2026
‘Science Is Universal-It Knows No Borders
Fuad Aleskerov, Tenured Professor and Director of the International Centre of Decision Choice and Analysis at HSE University, together with his colleagues, has developed methods of network analysis in bibliometrics that have made it possible to identify patterns in the appearance and citation of publications in academic journals, as well as their influence on each other. When one or a number of studies are frequently cited by a wide range of journals, this is an indicator that the research is of high quality. By contrast, extensive cross-citation within a limited group of journals increases the likelihood of identifying a network of predatory publications.
July 20, 2026
Scientists Propose Method for More Efficient Resource Use in Machine Learning
An international group of researchers, including mathematicians from the AI and Digital Science Institute at the HSE Faculty of Computer Science, has provided a theoretical justification for a simple and computationally efficient method of estimating uncertainty in Stochastic Gradient Descent (SGD). The paper has been published on the scientific preprint server arXiv.org and presented at AISTATS 2026.

 

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