Hrvatska enciklopedija (2013–)
korolar (lat. corollarium), u logici, matematici i metodologiji, dodatak, posljedica, zaključak koji ...

Hrvatski opći leksikon (2012)
korolar (lat.), u logici, zaključak koji proizlazi iz kakva već dokazanoga stava. ...

Hrvatski obiteljski leksikon (2005)
korolar (lat.), u logici, dodatak odn. zaključak koji proizlazi iz kakva već dokazanoga stava. ...