" ▁as ▁a ▁syn onym ▁for ▁the ▁propos itional ▁calculus , ▁but ▁an ▁alternative ▁definition ▁extends ▁propos itional ▁logic ▁by ▁adding ▁constants , ▁operations , ▁and ▁relations ▁on ▁non - Boolean ▁values . ▁Every ▁z er oth - order ▁language ▁in ▁this ▁bro ader ▁sense ▁is ▁complete ▁and ▁compact . ▁ ▁References ▁▁ ▁Category : Pro pos itional ▁calculus ▁Category : System s ▁of ▁formal ▁logic <0x0A> </s> ▁Ad van cement ▁Un ification ▁Party ▁() ▁or ▁A UP ▁formerly ▁known ▁as ▁Liber ty ▁For ward ▁Party ▁was ▁a ▁conserv ative ▁political ▁party ▁in ▁South ▁Korea . ▁This ▁party ▁was ▁created ▁by ▁Lee ▁H oi ▁Ch ang , ▁the ▁president ial ▁candidate ▁who ▁lost ▁ 2 0 0 7 ▁president ial ▁elections . ▁On ▁ 1 2 ▁February ▁ 2 0 0 8 , ▁the ▁party ▁merged ▁with ▁the ▁People ▁First ▁Party , ▁which ▁got ▁ 1 8 ▁seats ▁in ▁the ▁ 2 0 0 8 ▁Parliament ary ▁election , ▁making ▁it ▁the ▁third - larg est ▁party ▁in ▁the ▁National ▁Assembly . ▁The ▁party ▁was ▁absor bed ▁by ▁Sa en uri ▁Party ▁in ▁November ▁ 1 6 , ▁ 2 0 1 2 . ▁ ▁Human ▁rights ▁activ ism ▁In ▁February – M arch ▁ 2 0 1 2 , ▁just ▁before ▁the ▁scheduled ▁national ▁elections , ▁Liber ty ▁For ward ▁Party ▁representative ▁Park ▁Sun - you ng ▁became ▁active ▁in ▁the ▁" Save ▁My ▁Friend " ▁campaign , ▁a ▁series ▁of ▁protest s ▁protest ing ▁China ' s ▁policy ▁of ▁for ci