Non-Standard Logic

Apart from what we could call "classical" logics like Predicate Calculus or Syllogisms Logicians have come up with several different concepts for a formalisation of human thought, language or truth in general.

Some of these different concepts:

Paraconsistent Logic

Links
Peter Suber's list of Non-Standard Logics