Login / Signup
Evgeny Kolmakov
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 3
Top Topics
Intuitionistic Logic
Von Neumann
Classification Algorithm
Formal Concept Analysis
Top Venues
FCA4AI@ECAI
Arch. Math. Log.
J. Symb. Log.
Rev. Symb. Log.
</>
Publications
</>
Evgeny Kolmakov
On Shavrukov's non-Isomorphism Theorem for diagonalizable Algebras.
Rev. Symb. Log.
17 (1) (2024)
Evgeny Kolmakov
Local reflection, definable elements and 1-provability.
Arch. Math. Log.
59 (7-8) (2020)
Evgeny Kolmakov
,
Lev Beklemishev
Axiomatization of Provable n-Provability.
J. Symb. Log.
84 (2) (2019)
Evgeny Kolmakov
Metric Generalization and Modification of Classification Algorithms Based on Formal Concept Analysis.
FCA4AI@ECAI
(2014)