Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Intermediate logic
open-in-new
<p>In <a href="/facts/Mathematical_logic/SaI7Y3wN">mathematical logic</a>, a superintuitionistic logic is a <a href="/facts/Propositional_logic/MNt5v31V">propositional logic</a> extending <a href="/facts/Intuitionistic_logic/zI7ulCnM">intuitionistic logic</a>. <a href="/facts/Classical_logic/ls62MAms">Classical logic</a> is the strongest <a href="/facts/Consistent/IHkdnA9M">consistent</a> superintuitionistic logic; thus, consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic). </p>