Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Approximation spaces of temporal processes and effectiveness of interval semantics. / Stukachev, Alexey.
Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020. ред. / Sara Rodríguez González; Javier Prieto; Alfonso González-Briones; Arkadiusz Gola; George Katranas; Michela Ricca; Roussanka Loukanova; Roussanka Loukanova. Springer Nature, 2021. стр. 53-61 (Advances in Intelligent Systems and Computing; Том 1242 AISC).Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
}
TY - GEN
T1 - Approximation spaces of temporal processes and effectiveness of interval semantics
AU - Stukachev, Alexey
PY - 2021
Y1 - 2021
N2 - A series of positive results related to the generalized problem of Yu.L. Ershov on the structure of Σ-degrees of dense linear orders is obtained. In particular, we prove that interval models of temporal logic, as well as finite fragments of approximation spaces generated by interval Boolean algebras, are Σ-definable (effectively interpretable) in hereditarily finite superstructures over dense linear orders. These results are used in the analysis of semantics of verbs in natural languages within the approach in formal semantics proposed by R. Montague.
AB - A series of positive results related to the generalized problem of Yu.L. Ershov on the structure of Σ-degrees of dense linear orders is obtained. In particular, we prove that interval models of temporal logic, as well as finite fragments of approximation spaces generated by interval Boolean algebras, are Σ-definable (effectively interpretable) in hereditarily finite superstructures over dense linear orders. These results are used in the analysis of semantics of verbs in natural languages within the approach in formal semantics proposed by R. Montague.
KW - Approximation spaces
KW - Effective model theory
KW - Montague semantics for natural languages
UR - http://www.scopus.com/inward/record.url?scp=85089609964&partnerID=8YFLogxK
UR - https://www.mendeley.com/catalogue/452214a2-53da-321c-b297-7579259829d0/
U2 - 10.1007/978-3-030-53829-3_5
DO - 10.1007/978-3-030-53829-3_5
M3 - Conference contribution
AN - SCOPUS:85089609964
SN - 9783030538286
T3 - Advances in Intelligent Systems and Computing
SP - 53
EP - 61
BT - Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020
A2 - Rodríguez González, Sara
A2 - Prieto, Javier
A2 - González-Briones, Alfonso
A2 - Gola, Arkadiusz
A2 - Katranas, George
A2 - Ricca, Michela
A2 - Loukanova, Roussanka
A2 - Loukanova, Roussanka
PB - Springer Nature
T2 - 17th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2020
Y2 - 17 June 2020 through 19 June 2020
ER -
ID: 25291449