RUS  ENG
Full version
JOURNALS // Journal of Symbolic Logic // Archive

J. Symb. Log., 2025, Pages 1–39 (Mi jsl4)

This article is cited in 1 paper

Reasoning from hypotheses in *-continuous action lattices

Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

Language: English

DOI: 10.1017/jsl.2025.16



Bibliographic databases:
ArXiv: 2408.02118


© Steklov Math. Inst. of RAS, 2026