Work

REASONING FROM HYPOTHESES IN $\ast $ -CONTINUOUS ACTION LATTICES

Year: 2025

Type: article

Source: Journal of Symbolic Logic

DOI: 10.1017/jsl.2025.16

Authors: STEPAN L. KUZNETSOV, TIKHON PSHENITSYN, STANISLAV O. SPERANSKI

Institutions: Russian Academy of Sciences, St. Petersburg Department of Steklov Institute of Mathematics, Steklov Mathematical Institute

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4407984037

FWCI: 0.961

Cites: 20

Cited by: 2

Related to: 10