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