一、合同解除的程序

（1）協(xié)議解除程序。協(xié)議解除的程序是指當(dāng)事人雙方經(jīng)過(guò)協(xié)商同意，將合同解除的程序。其特點(diǎn)是：合同的解除取決于當(dāng)事人雙方意思表示一致，而不是基于當(dāng)事人一方的意思表示，也不需要有解除權(quán)，完全是以一個(gè)新的合同解除原合同。它適用于協(xié)議解除類(lèi)型，并且在單方解除中，只要解除權(quán)人愿意采取這種程序，法律也應(yīng)允許并加以提倡。

（2）行使解除權(quán)的程序。行使解除權(quán)的程序必須以當(dāng)事人享有解除權(quán)為前提。所謂解除權(quán)，是指合同當(dāng)事人可以將合同解除的權(quán)利。它的行使，發(fā)生合同解除的法律效果，因而它是一種形成權(quán)。解除權(quán)按其性質(zhì)來(lái)講，不需要對(duì)方當(dāng)事人的同意，只需解除權(quán)人單方的意思表示，就可以把合同解除。解除權(quán)人主張解除合同，應(yīng)當(dāng)通知對(duì)方。合同自通知到達(dá)對(duì)方時(shí)解除。對(duì)方有異議的，可以請(qǐng)求人民法院或者仲裁機(jī)構(gòu)確認(rèn)合同的效力。法律、行政法規(guī)規(guī)定解除合同應(yīng)當(dāng)辦理批準(zhǔn)、登記等手續(xù)的，依照其規(guī)定（《合同法》第96條第2款）。

（3）法院裁決的程序。這里所說(shuō)的法院裁決的程序，不是指在協(xié)議解除的程序和行使解除權(quán)的程序中當(dāng)事人訴請(qǐng)法院來(lái)解除合同，而是指在適用情事變更原則解除合同時(shí)，由法院裁決合同解除的程序。由于適用情事變更原則解除合同，當(dāng)事人無(wú)解除行為，只是由法院根據(jù)案件的具體情況和情事變更原則的法律要件加以裁決。因此，對(duì)這種類(lèi)型的合同解除只能適用法院裁決的程序。

二、合同解除的溯及力

（1）非繼續(xù)性合同的解除原則上有溯及力。所謂非繼續(xù)性合同，是指履行為一次性行為的合同。就非繼續(xù)性合同的性質(zhì)而言，當(dāng)它被解除時(shí)能夠恢復(fù)原狀，即已經(jīng)進(jìn)行的給付能夠返還給付人?；謴?fù)原狀是解除有溯及力的效果及標(biāo)志。非繼續(xù)性合同作為解除的標(biāo)的，為解除有溯及力提供了一種可能性。這種可能性能否變成現(xiàn)實(shí)性，還要受其他因素制約，主要受違約解除的法律性質(zhì)決定。違約解除是對(duì)違約方的制裁，是一種特殊的違約責(zé)任，是對(duì)守約方的一種救濟(jì)方法。違約解除有溯及力與這一性質(zhì)相符合。

（2）繼續(xù)性合同的解除原則上無(wú)溯及力。所謂繼續(xù)性合同，是指履行必須在一定繼續(xù)的時(shí)間內(nèi)完成，而不是一時(shí)或一次完成的合同，如租賃合同、倉(cāng)儲(chǔ)合同等均屬此類(lèi)。租賃、借用、消費(fèi)借貸等繼續(xù)性合同以使用、收益標(biāo)的物為目的，已經(jīng)被受領(lǐng)方享用的標(biāo)的物效益，是不能返還的，也就不能恢復(fù)原狀。這些合同解除不管有無(wú)溯及力，給付人都只能請(qǐng)求對(duì)方返還相應(yīng)的價(jià)金，在雙方為相應(yīng)的給付時(shí)，有溯及力除了增加不必要的迂回曲折外，對(duì)當(dāng)事人沒(méi)有任何好處，因此不如規(guī)定這些合同的解除無(wú)溯及力，除非當(dāng)事人有相反的約定。