I've heard about many kinds of logic like combinatory logic, relevance logic, higher order logic, paraconsistent logic... but I don't know anything about those logical system except higher order logic.
Is there an overview or meta-tutorials about all logical systems? In particular, I'd like to know why those logic system are made and what their applications are.
How to classify them?