Category – non-Aristotelian Logic