Concept

Minimal logic

Overview

symbolic logic system

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• First-order logic
• Law of identity
• Negation
• Intuitionistic logic
• Law of noncontradiction
• Law of excluded middle
• Logical conjunction
• Logical connective
• Relevance logic
• Modus ponens
• Mathematical logic
• Sequent calculus
• Curry–Howard correspondence
• Logical consequence
• Double negation
• Paraconsistent logic
• Frege's theorem
• Deduction theorem
• Syllogism
• Natural deduction
• Classical logic
• Principle of explosion
• De Morgan's laws
• Conditional proof

Place in the tradition

Part of Outline of philosophy.

Narrower topics:

• Deduction theorem
• Heyting arithmetic
• Markov's principle

Explore Minimal logic in the interactive graph →