Main research topics:

• Mathematical logic (model theory , model-theoretic algebra, paraconsistent logic and applications).

• Foundations of Mathematics (proof theory, constructivism, intuitionism vs. classical logic).

• Algebra (valuation theory, hypercompositional algebraic structures).

• Geometry and topology (hypercompositional descripion of geometric objects).

• Category theory (categorial description of hypercompositional structures, categorial logic).

• AI (Fluency, capabilities, limitations, extensions)