合同解除的條件只是解除的前提，條件具備時，合同并不當然且自動地解除。欲使合同解除，還必須經(jīng)過一定的程序。解除的程序包括三種，即協(xié)議解除的程序、行使解除權(quán)的程序和法院裁決的程序。

(一)協(xié)議解除程序

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

由于協(xié)議解除程序是采取合同的方式，所以要使合同解除有效成立，也必須有要約和承諾。這里的要約，是解除合同的要約，其內(nèi)容是要消滅既存的合同關系，甚至包括已經(jīng)履行的部分是否返還，責任如何分擔等問題。它必須是向既存合同的對方當事人發(fā)出，并且要在既存合同消滅之前提出。這里的承諾，是解除合同的承諾，是完全同意上述要約的意思的表示。協(xié)議解除是否必須經(jīng)過法院或仲裁機構(gòu)的裁判?我國法律未作這樣的要求，允許當事人選擇：或者經(jīng)過法院或仲裁機構(gòu)的裁判，或者直接由雙方當事人達成解除原合同的協(xié)議。

采取協(xié)議解除程序，何時發(fā)生解除的效力?在合同解除需經(jīng)有關部門批準時，有關部門批準解除的日期即為合同解除的日期。在合同解除不需有關部門批準時，雙方當事人協(xié)商一致之時就是合同解除生效之時，或者由雙方當事人商定解除生效的日期。

(二)行使解除權(quán)的程序

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

行使解除權(quán)的程序適用于不可抗力致使合同不能履行、當事人一方違約和約定解除等場合。在不可抗力致使合同不能履行的場合，解除權(quán)由雙方當事人享有，任何一方都可行使。在當事人一方違約的情況下，解除權(quán)歸守約方享有，不然會被違約方利用解除制度來謀取不正當利益。在約定解除的情況下，解除權(quán)歸合同指定的當事人享有，既可以是一方當事人享有，也可以是雙方當事人享有。

解除權(quán)對權(quán)利人而言是一種利益，這種利益是否被解除權(quán)人舍棄或推遲取得，只要無損于國家利益、社會公共利益，無損于對方當事人的合法權(quán)益，就應允許。所以，行使解除權(quán)具有自主性，主要表現(xiàn)為解除權(quán)人可以在合同解除與請求繼續(xù)履行之間選擇，解除權(quán)可以在特定期間的任何時刻行使，可以采取和對方當事人協(xié)商的方式等。

解除權(quán)的行使也有限制。法律規(guī)定或者當事人約定解除權(quán)行使期限的，期限屆滿當事人不行使的，該權(quán)利消滅。法律沒有規(guī)定或者當事人沒有約定解除權(quán)的行使期限，經(jīng)對方催告后在合理期限內(nèi)不行使的，該權(quán)利消滅(《合同法》第95條)。

解除權(quán)行使采取雙方協(xié)商的方式，在我國應予提倡，因為：

第一，合同解除不會使雙方當事人在物質(zhì)利益上共同增加，而是彼增此消。單就這點來說，雙方不易就合同解除及由此而生的返還財產(chǎn)、分擔責任等達成協(xié)議，這也是法律應賦予有關當事人以解除權(quán)的重要原因。但是，當事人的特殊物質(zhì)利益畢竟是以根本利益一致為前提而存在的，雙方?jīng)]有不可調(diào)和的利害沖突。如果合同解除是為了維護國家利益，實現(xiàn)社會主義生產(chǎn)目的，那么雙方宜互諒互讓地將合同解除。

第二，協(xié)商的過程，是當事人雙方明了事情原委和責任如何分配的過程。在此過程中，彼此了解到各自的困難，能夠互諒互讓，既解決法律后果問題，又解決思想認識問題，便于解決糾紛，減少訴訟。

第三，倡導協(xié)商方式符合民事訴訟法的調(diào)解原則，使實體法與程序法的規(guī)定更加統(tǒng)一。

雙方協(xié)商的方式并不是解除權(quán)的喪失，恰恰相反，正是由于解除權(quán)的存在并發(fā)揮作用，才使協(xié)商一致解除合同的可能性大大增加。在很大程度上，無解除權(quán)的當事人之所以同意解除權(quán)人的意見，是因為即使不同意，解除權(quán)人也會依自己的意思表示將合同解除，并按法律規(guī)定或合同約定發(fā)生一定的法律效果。

(三)法院裁決的程序

這里所說的法院裁決的程序，不是指在協(xié)議解除的程序和行使解除權(quán)的程序中當事人訴請法院來解除合同，而是指在適用情事變更原則解除合同時，由法院裁決合同解除的程序。由于適用情事變更原則解除合同，當事人無解除行為，只是由法院根據(jù)案件的具體情況和情事變更原則的法律要件加以裁決。因此，對這種類型的合同解除只能適用法院裁決的程序。