Concepedia

L. L. Maksimova

LL

Statistics

Publications

35

Citations

1.2K

H-Index

19

Active since

1972

Affiliations

Russian Academy of Sciences(Current)

Sobolev Institute of Mathematics

Siberian Branch of the Russian Academy of Sciences

Novosibirsk State University

L. L. Maksimova is an author at Russian Academy of Sciences specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsLanguageLinguisticsFormal VerificationSyntaxIntuitionVerification

Publications per year

1972–2023

35

Publications

35

Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras

L. L. Maksimova · Algebra and Logic · 1977 · 163 citations

Algebraic Logic, Substructural Logic, Automated Reasoning +6

A lattice of normal modal logics

L. L. Maksimova, Vladimir V. Rybakov · Algebra and Logic · 1974 · 86 citations

Lattice (Order), Automated Reasoning, Normal Modal Logics +2

Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras

L. L. Maksimova · Algebra and Logic · 1979 · 84 citations

Algebraic Logic, Automated Reasoning, Algebraic Semantics +6

Pretabular superintuitionist logic

L. L. Maksimova · Algebra and Logic · 1972 · 80 citations

Syntax, Automated Reasoning, Default Logic +6

Pretabular extensions of LewisS4

L. L. Maksimova · Algebra and Logic · 1975 · 69 citations

Coxeter Group, Algebraic Combinatorics, Universal Algebra +1

1–5 of 35