Research interests

mathematical logic, nonstandard methods, universal algebra, lattices, topology, topological algebra, topological model theory, distance functions, artificial intelligence, temporal logic, neural networks, fuzzy logic, applications of logic, applications of mathematics