RUS
ENG
Полная версия
ЖУРНАЛЫ
// Journal of Symbolic Logic
// Архив
J. Symb. Log., 2025,
страницы
1–39
(Mi jsl4)
Эта публикация цитируется в
1
статье
Reasoning from hypotheses in *-continuous action lattices
Stepan L. Kuznetsov
,
Tikhon Pshenitsyn
,
Stanislav O. Speranski
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Язык публикации:
английский
DOI:
10.1017/jsl.2025.16
Список цитирования
Реферативные базы данных:
ArXiv:
2408.02118
©
МИАН
, 2026