Non-Classical Logical Systems