"Smetanich's logic" . . "intermediate logic" . "Medvedev's logic" . . ":Intermediate logic" . "G\u00F6del\u2013Dummett intermediate logic" . "Intermediate logic" . "G\u00F6del\u2013Dummett logic" . "G\u00F6del logic" . "superintuitionistic" . . . . . "'''LC'''" . . "Superintuitionistic (aka intermediate) logic" . . "De Morgan logic" . "intermediate" . "Intermediate logic" . . .