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