Minimal Logic
Get Minimal Logic essential facts below. View Videos or join the Minimal Logic discussion. Add Minimal Logic to your topic list for future reference or share this resource on social media.
Minimal Logic

Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson (1936). It is a variant of intuitionistic logic that rejects not only the classical law of excluded middle (as intuitionistic logic does), but also the principle of explosion (ex falso quodlibet).

Like intuitionistic logic, minimal logic can be formulated in a language using -> (implication), ? (conjunction), ? (disjunction), and ? (falsum) as the basic connectives, treating ¬A (negation) as an abbreviation for A -> ?. In this language, it is axiomatized by the positive fragment (i.e., formulas using only ->, ?, and ?) of intuitionistic logic, with no additional axioms or rules about ?. Thus minimal logic is a subsystem of intuitionistic logic, and it is strictly weaker as it does not derive the ex falso quodlibet principle (however, it derives its special case ).

Adding the ex falso axiom to minimal logic results in intuitionistic logic, and adding the double negation law to minimal logic results in classical logic (Troelstra and Schwichtenburg 2000:37)

See also


  • Ingebrigt Johansson, 1936, "Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus." Compositio Mathematica 4, 119-136.
  • A.S. Troelstra and H. Schwichtenberg, 2000, Basic Proof Theory, Cambridge University Press, ISBN 0521779111

  This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.



Top US Cities was developed using's knowledge management platform. It allows users to manage learning and research. Visit defaultLogic's other partner sites below: : Music Genres | Musicians | Musical Instruments | Music Industry