On Shavrukov's non-Isomorphism Theorem for diagonalizable Algebras.

Evgeny Kolmakov

Published in: Rev. Symb. Log. (2024)

Keyphrases

graph theory
spatial reasoning
von neumann
learning algorithm
search algorithm
distributive lattices
machine learning
information retrieval
social networks
expert systems
interval algebra
intuitionistic logic