pozitivní logika

pozitivní logika, část intuicionistické log., jež vylučuje intuicionistickou negaci.