行使合同解除权的程序是怎样的？

行使合同解除权的程序主要有以下几种情况：

协议解除程序：是指当事人双方经过协商同意，将合同解除的程序。其特点是合同的解除取决于当事人双方意思表示一致，而不是基于当事人一方的意思表示，也不需要有解除权，完全是以一个新的合同解除原合同。协议解除程序适用于协议解除类型，并且在单方解除中，只要解除权人愿意采取这种程序，法律也应允许并加以提倡。由于协议解除程序是采取合同的方式，所以要使合同解除有效成立，也必须有要约和承诺。这里的要约是解除合同的要约，其内容是要消灭既存的合同关系，甚至包括已经履行的部分是否返还、责任如何分担等问题。它必须是向既存合同的对方当事人发出，并且要在既存合同消灭之前提出。这里的承诺是解除合同的承诺，是完全同意上述要约的意思的表示。

行使解除权的程序：必须以当事人享有解除权为前提。解除权是指合同当事人可以将合同解除的权利，它是一种形成权，其行使发生合同解除的法律效果，不需要对方当事人的同意，只需解除权人单方的意思表示，就可以把合同解除。解除权人主张解除合同，应当通知对方。合同自通知到达对方时解除。对方有异议的，可以请求人民法院或者仲裁机构确认合同的效力。法律、行政法规规定解除合同应当办理批准、登记等手续的，依照其规定。如果法律规定或者当事人约定了解除权行使期限，期限届满当事人不行使的，该权利消灭；法律没有规定或者当事人没有约定解除权的行使期限，经对方催告后在合理期限内不行使的，该权利消灭。

法院裁决的程序：这里所说的法院裁决的程序，不是指在协议解除的程序和行使解除权的程序中当事人诉请法院来解除合同，而是指在适用情事变更原则解除合同时，由法院裁决合同解除的程序。由于适用情事变更原则解除合同，当事人无解除行为，只是由法院根据案件的具体情况和情事变更原则的法律要件加以裁决。因此，对这种类型的合同解除只能适用法院裁决的程序。

此外，根据《民法典》第五百六十五条第二款规定，当事人一方未通知对方，直接以提起诉讼或者申请仲裁的方式依法主张解除合同，人民法院或者仲裁机构确认该主张的，合同自起诉状副本或者仲裁申请书副本送达对方时解除。