Non-Aristotelian logic