Sciact
  • EN
  • RU
Profile

Stukachev Alexey

Employee

Science activity

Articles - 23 , Conference theses - 1 , Conference attendances - 11


Articles (23) More info

1 Penzina U. , Stukachev A.
Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics
In compilation Distributed Computing and Artificial Intelligence, Special Sessions I, 21st International Conference. 2025. – C.123-132. – ISBN 978-3-031-76458-5. DOI: 10.1007/978-3-031-76459-2_11 WOS Scopus OpenAlex
2 Burnistov A.S. , Stukachev A.I.
Computable Functionals of Finite Types in Montague Semantics
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2024. V.21. N2. P.1460-1472. DOI: 10.33048/semi.2024.21.093 WOS Scopus
3 Stukachev A.I.
Structures on signatures of stuctures
In compilation Model Theory and Algebra 2024: Collection of papers. – НГТУ., 2024. – C.177-178. – ISBN 978-5-7782-5285-1.
4 Burnistov A. , Stukachev A.
Generalized Computable Models and Montague Semantics
Studies in Computational Intelligence. 2023. V.1081. P.107-124. DOI: 10.1007/978-3-031-21780-7_5 Scopus OpenAlex
5 Burnistov A.S. , Stukachev A.I.
Inner Constructivizability of Functional Structures
Algebra and Logic. 2022. V.61. N1. P.16-29. DOI: 10.1007/s10469-022-09672-0 WOS Scopus РИНЦ OpenAlex
6 Stukachev A.
Interval Extensions of Orders and Temporal Approximation Spaces
Siberian Mathematical Journal. 2021. V.62. N4. P.730-741. DOI: 10.1134/s0037446621040157 WOS Scopus OpenAlex
7 Stukachev A.
Approximation Spaces of Temporal Processes and Effectiveness of Interval Semantics
Advances in Intelligent Systems and Computing. 2021. V.1242. P.53-61. DOI: 10.1007/978-3-030-53829-3_5 Scopus OpenAlex
8 Stukachev A.
Generalized Hyperarithmetical Computability Over Structures
Algebra and Logic. 2017. V.55. N6. P.507-526. DOI: 10.1007/s10469-017-9421-1 WOS Scopus OpenAlex
9 Stukachev A.
Processes and Structures on Approximation Spaces
Algebra and Logic. 2017. V.56. N1. P.63-74. DOI: 10.1007/s10469-017-9426-9 WOS Scopus OpenAlex
10 Stukachev A.
Properties of sΣ-Reducibility
Algebra and Logic. 2014. V.53. N5. P.405-417. DOI: 10.1007/s10469-014-9300-y WOS Scopus OpenAlex
11 Stukachev A.
Effective model theory: approach via σ-definability
In compilation Lecture Notes in Logic. – Cambridge University Press., 2013. – Т.41. – C.164-197. – ISBN 9781107014510. DOI: 10.1017/cbo9781139028592.010 OpenAlex
12 Stukachev A.
On Processes and Structures
Lecture Notes in Computer Science. 2013. V.7921. P.393-402.
13 Ershov Y.L. , Puzarenko V.G. , Stukachev A.
HF-Computability
In compilation Computability in Context Computation and Logic in the Real World. – World Scientific., 2011. – C.169-242. DOI: 10.1142/9781848162778_0006 Scopus РИНЦ OpenAlex
14 Stukachev A.
A jump inversion theorem for the semilattices of sigma-degrees
Siberian Advances in Mathematics. 2010. V.20. N1. P.68-74. DOI: 10.3103/s1055134410010037 Scopus OpenAlex
15 Stukachev A.
Σ-definability of uncountable models of c-simple theories
Siberian Mathematical Journal. 2010. V.51. N3. P.515-524. DOI: 10.1007/s11202-010-0054-z WOS Scopus OpenAlex
16 Stukachev A.
Degrees of presentability of structures. II
Algebra and Logic. 2008. V.47. N1. P.65-74. DOI: 10.1007/s10469-008-0007-9 WOS Scopus OpenAlex
17 Stukachev A.
Degrees of presentability of structures. I
Algebra and Logic. 2007. V.46. N6. P.419-432. DOI: 10.1007/s10469-007-0041-z WOS Scopus OpenAlex
18 Stukachev A.
On mass problems of presentability
In compilation Lecture Notes in Computer Science. 2006. – Т.3959. – C.772-782. DOI: 10.1007/11750321_74 Scopus OpenAlex
19 Stukachev A.
Presentations of Structures in Admissible Sets
In compilation Lecture Notes in Computer Science. 2005. – Т.3526. – C.470-478.
20 Stukachev A.
Presentations of Structures in Admissible Sets
Lecture Notes in Computer Science. 2005. V.3526. P.470-478.
21 Stukachev A.
Sigma-Definability in Hereditarily Finite Superstructures and Pairs of Models
Algebra and Logic. 2004. V.43. N4. P.258-270. DOI: 10.1023/b:allo.0000035117.75573.2d Scopus OpenAlex
22 Stukachyov A.I.
Sigma-admissible families over linear orders
Algebra and Logic. 2002. V.41. N2. P.127-139. DOI: 10.1023/a:1015312831772 Scopus OpenAlex
23 Stukachev A.
Uniformization property in hereditary finite superstructures
Siberian Advances in Mathematics. 1997. V.7. N1. P.123-132.

Conference theses (1) More info

1 Stukachev A.
Generalized Computability and Effective Model Theory in Mathematical Linguistics
In compilation Proceedings of the Symposium "Logic and Algorithms in Computational Linguistics 2021" (LACompLing2021). – Stockholm University, 2021, DiVA Portal for Digital Publications., 2021. – C.25.

Conference attendances (11) More info

1 Stukachev A.I. , Liu C. , Cao Z.
Union, intersection and comparison of linguistic structures
17th International Summer School-Conference “Problems Allied to Model Theory and Universal Algebra” 19-26 Jun 2025
2 Stukachev A.I. , Strepetova V. , Chen L. , Cao Z. , Zaitseva U.
Interpretability in Mathematics and XAI
The International Conference dedicated to Mathematics in Artificial Intelligence 24-28 Mar 2025
3 Stukachev A.I.
Structures on Signatures if Structures
XVI международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры» 08-13 Jul 2024
4 Stukachev A.
Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics
21th International Conference on Distributed Computing and Artificial Intelligence, Special Session on Computational Linguistics, Information, Reasoning, and AI (DCAI-CLIRAI 2023) 26-28 Jun 2024
5 Stukachev A.
Computable models of Montague intensional logic
Fifth Workshop on Digitalization and Computable Models 02-06 Oct 2023
6 Stukachev A.I.
Algorithmic aspects of intensional logic
XV международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры» 21-28 Jun 2023
7 Burnistov A. , Stukachev A. , Stukacheva M.
Computable functionals in Montague semantics
LOGIC COLLOQUIUM 2023, European Summer Meeting of the Association for Symbolic Logic 05-09 Jun 2023
8 Stukachev A.
Generalized Computability and Effective Model Theory in Mathematical Linguistics
Logic and Algorithms in Computational Linguistics 2021 15-17 Dec 2021
9 Бурнистов А.С. , Stukachev A.
Computable Functionals of Finite Types in Montague Semantics
Logical Aspects of Computational Linguistics 2021 13-17 Dec 2021
10 RYZHKOV A. , STUKACHEV A. , STUKACHEVA M.
Approximation spaces over dense linear orders
2021 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ‘21 19-24 Jul 2021
11 Stukachev A.
Generalized computability in approximation spaces
Second Workshop on Digitalization and Computable Models 20-24 Jul 2020

Identifiers

ORCID: 0000-0002-4530-1961
Scopus ID: 23092343800
Elibrary ID: 125919

Degrees

2003 - Ph.D.

Academic titles

2012 - Associate professor