Research in

GENERAL LOGIC
 
 

    Theory of Logical Varieties
 

    Theory of Abstract and Real Properties
 

    Non-monotonic Inference  ~
 

    Theory of Quantifiers
 
 

    Logical Methods in Computer Science and Artificial Intelligence
 

    Theory of Concept
 

    Logical Structures in Scientific Theories
 

    Empirical Logics