Structured and well-equipped collection of unconventional systems logics with more than two truth values.
