GENERAL LOGIC
Theory of Abstract and Real Properties
Non-monotonic Inference ~
Theory of Quantifiers
Theory of Concept
Logical Structures in Scientific Theories
Empirical Logics