Types of logic: classical, basic modal, normal modal, non-normal, conditional, intuitionist, many-valued, first degree entailment, basic relevant, mainstream relevant, and fuzzy logic. Priest’s book: www.amazon.com True Contradictions: plato.stanford.edu plato.stanford.edu