• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Books
  • 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015)
  • 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

?

7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015)

2015.
Chapters
On Completeness of Logics Enriched with Transitive Closure Modality
Shapirovsky I., Zolin E., , in: 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015).: [б.и.], 2015. P. 1–3.
We give a sufficient condition for Kripke completeness of the extension of a modal logic with the transitive closure modality. More precisely, we show that if a logic is canonical and admits what we call definable filtration (ADF), then such an extension is complete (and again ADF). ...
Added: June 14, 2018
Language: English
Keywords: abstract logic
7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015)
Similar publications
Абстрактные логики как классификации абстрактных структур
Dragalina-Chernaya E., Логические исследования 2025 Т. 31 № 2 С. 9–30
В статье предлагается интерпретация абстрактных логик как классификаций абстрактных структур (типов изоморфизма). Свойство инвариантности относительно изоморфизма понимается не как традиционный критерий демаркации логических и нелогических терминов, а как мета-ограничение на соответствующие классы структур.  Выявляется вариативность подобных мета-ограничений   в ранней и современной теории моделей. Сопоставляются онтологические подходы, предполагающие трактовку абстрактной структуры как формы, разделяемой всеми структурами в данном типе ...
Added: September 8, 2025
Abstract logics as formal ontologies as classifications
Dragalina-Chernaya E., , in: 4th Lisbon International Conference on Philosophy of Science - LICPOS 2023.: Lisbon: CFCUL, 2023. P. 27–28.
This paper offers an interpretation of abstract logics as formal ontologies as well as higher-level classifications. ...
Added: July 14, 2023
Logica’2002
Prague: [б.и.], 2003.
papers presented at the conference “Logica 2002″ (June 18-21, 2002, Castle Zahradky, Czech Republic) and published in: T. Childers and O. Majer (eds.), Logica’2002, Prague 2003 ...
Added: June 7, 2018
Logic, Methodology and Philosophy of Science
[б.и.], 2015.
This volume contains the abstracts of the talks given at the 2015 European Summer Meeting of the Association for Symbolic Logic—Logic Colloquium ’15—taking place on August 3 - 8, 2015, in Helsinki, Finland. The Colloquium is co-located with the 15th International Congress of Logic, Methodology and Philosophy of Science, CLMPS, and the SLS Summer School ...
Added: June 5, 2018
Логико-философские штудии
St. Petersburg: St. Petersburg University, 2016.
Abstract of a talk  at the 12th International Conference “Logic Today: Developments and Perspectives” ...
Added: June 5, 2018
International Workshop on Description Logics, DL 2016
[б.и.], 2016.
Added: September 18, 2017
The unreasonable power of the lifting property in elementary mathematics
Gavrilovich M., / Series arxiv "math.CT". 2017.
We illustrate the generative power of the lifting property (orthogonality of morphisms in a category) as means of defining natural elementary mathematical concepts by giving a number of examples in various categories, in particular showing that many standard elementary notions of abstract topology can be defined by applying the lifting property to simple morphisms of ...
Added: July 21, 2017
The logic of forbidden colours
Dragalina-Chernaya E., Epistemology and Philosophy of Science 2013 Vol. 38 No. 4 P. 136–149
The purpose of this paper is twofold: (1) to clarify Ludwig Wittgenstein’s thesis that colours possess logical structures, focusing on his ‘puzzle proposition’ that “there can be a bluish green but not a reddish green”, (2) to compare model-theoretical and game-theoretical approaches to the colour exclusion problem. What is gained, then, is a new game-theoretical ...
Added: October 1, 2013
The logic of forbidden colours
Dragalina-Chernaya E., / Series HUM "Humanities". 2012. No. 10.
The purpose of this paper is twofold: (1) to clarify Ludwig Wittgenstein’s thesis that colours possess logical structures, focusing on his ‘puzzle proposition’ that “there can be a bluish green but not a reddish green”, (2) to compare model-theoretical and game-theoretical approaches to the colour exclusion problem. What is gained, then, is a new game-theoretical ...
Added: January 17, 2013
The Logic of Forbiden Colours
Dragalina-Chernaya E., / Series HUM "Humanities". 2012. No. 10.
The purpose of this paper is twofold: (1) to clarify Ludwig Wittgenstein’s thesis that colours possess logical structures, focusing on his ‘puzzle proposition’ that “there can be a bluish green but not a reddish green”, (2) to compare model-theoretical and game-theoretical approaches to the colour exclusion problem. What is gained, then, is a new game-theoretical ...
Added: December 19, 2012
  • 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