Research in

MATHEMATICAL LOGIC

    Theory of Logical Varieties   *

    Theory of Abstract Properties

    Non-monotonic Inference

    Theory of Quantifiers

    Theory of Concept

    Mathematical Linguistics