Example image of eyePlorer eyePlorer map for 'Paraconsistent logic': Contradiction Formal system Logic Aristotle Francisco Miró Quesada Cantuarias Peru Philosophy Classical logic Entailment Intuitionistic logic Principle of explosion Theory Trivialism Propositional calculus Information Computer software Dialetheism Liar paradox Paradox Russell's paradox Graham Priest University of Melbourne Fitch-style calculus Associativity Commutativity De Morgan's laws Distributivity Idempotence Law of excluded middle Carl Hewitt Software engineering Linear logic Relevance logic Argentina Binary relation Function (mathematics) Truth value WFF If and only if Logical connective Logical disjunction Negation Counterexample Material conditional Modus ponens Conjunction Natural deduction Logical truth Tautology (logic) Inference