瑜伽六十四卷十页云：云何灭谛？所谓一切烦恼永断。又此永断、由八种相，如前应知。此中爱尽离欲者：此显有余依涅盘界。永灭涅盘者：此显无余依涅盘界。
二解　　瑜伽六十六卷二页云：复次此烦恼品粗重永灭，是有余依涅盘增上所立灭谛。又因永断、未来不生；及先世因受用尽已，现在诸行、任运谢灭；是无余依涅盘增上所立灭谛。又六十八卷一页广释。
三解　　集论五卷十二页云：云何灭谛？谓相故，甚深故，世俗故，胜义故。不圆满故，圆满故，无庄严故，有庄严故，有余故，无余故，最胜故，差别故，分别谛故。如彼卷十二页至十五页释。 - 朱芾煌

集论五卷十二页云：何等相故？谓真如、圣道、烦恼不生、若灭依，若能灭，若灭性，是灭谛相。如世尊说：眼耳及与鼻、舌身及与意、于此处，名色、究竟灭无余。又说：是故汝今当观是处。所谓此处、眼究竟灭，远离色想；乃至意究竟灭、远离法想。由此道理，显示所缘真如境上、有漏法灭，是灭谛相。 - 朱芾煌

瑜伽五十五卷十五页云：灭谛义云何？答：彼俱寂静义。 - 朱芾煌

瑜伽六十八卷一页云：问：若此灭谛、先无后有；云何是常？若常时有；何不一切有情、于一切时，般涅盘耶？答：不流转相，不现行相，是灭谛相。此谛云何先无后有。又无生相，无灭相，是常相。灭谛亦尔。是故名常。若有证得一切粗重永息灭者；彼般涅盘。若未证得者；彼不般涅盘。有灭谛故；诸有情类、有证得者。是故涅盘、是证所显；非生所显。 - 朱芾煌

集论五卷十五页云：如是灭谛，总有四种行相差别。谓灭相、静相、妙相、离相。云何灭相？烦恼离系故。云何静相？苦离系故。云何妙相？乐静事故。云何离相？常利益事故。
二解　　大毗婆沙论七十九卷九页云：缘灭谛有四行。一、灭，二、静，三、妙，四、离。取蕴永尽，故名为灭。有为相息，故名为静。是善是常，故名为妙。最极安隐，故名为离。是离自体，非有离故。性不相续，尽诸相续；故名为灭。三火永寂，故名为静。脱诸灾横，故名为妙。出众过患，故名为离。又云：问：有四行相、观于涅盘，何故涅盘、唯名灭谛；不名寂等三种谛耶？答：亦应说为静妙离谛，而不说者；是有余说。复次卽说为灭谛；当知已说静妙离谛。以相同故。复次能知、所知、易分别故；但名灭谛。非静妙离。谓佛世尊、说有灭智，故此所知、但名灭谛。如智、所知；觉、所觉等，应知亦尔。复次灭名不共，故立谛名。灭名唯显究竟灭故。静名、滥定，妙、离、滥道；故不名为静妙离谛。复次此灭谛名，旧所传说，是旧文句。过去诸佛、过殑伽沙、皆以灭名表示此谛。今佛亦尔。故不应责。复次此谛四相、灭相最初，是故世尊但名灭谛。 - 朱芾煌

成唯识论八卷二十二页云：灭谛三者：一、自性灭。自性不生故。二、二取灭。谓择灭。二取不生故。三、本性灭。谓真如故。 - 朱芾煌

集论五卷十三页云：何等胜义故？谓以圣慧永拔种子所得灭。 - 朱芾煌

集论五卷十三页云：何等世俗故？谓以世间道摧伏种子所得灭。是故世尊别名说为彼分涅盘。 - 朱芾煌

显扬二卷一页云：灭谛者：亦有四种。如前所说。全摄者：谓全摄集谛无余断弃吐尽离欲灭没寂静。胜摄者：谓胜摄集谛无余断弃。如是广说。世俗谛摄者：谓于世俗谛所摄集谛，无余断弃。如是广说。胜义谛摄者：谓于胜义谛所摄集谛，无余断弃。如是广说。 - 朱芾煌

瑜伽六十八卷一页云：问：何等法名灭故名灭谛耶？答：有二种。一、烦恼灭故，二、依灭故。烦恼灭故，得为余依灭谛。依灭故，得无余依灭谛。 - 朱芾煌

瑜伽三十四卷十六页云：于集谛相正觉了已；复正觉了，如是集谛无余息灭，故名为灭。一切苦谛无余寂静，故名为静。卽此灭静，是第一故，是最胜故，是无上故；说名为妙。是常住故，永出离故；说名为离。如是行者，由四种行，了灭谛相。 - 朱芾煌

瑜伽六十八卷一页云：问：诸行寂灭、是灭谛耶？设是灭谛；诸行寂灭耶？答：若是灭谛；亦诸行寂灭。或诸行寂灭，然非灭谛。谓由无常灭故，非择灭故；诸行寂灭。 - 朱芾煌

瑜伽六十八卷一页云：复次若有远离四种过失，说灭谛者；是名正说。何等名为四种过失？一、增益过失，二、自相邪分别过失，三、相杂乱过失，四、损减过失。若言诸行尽灭有异者；是增益过失。言无异者；是自相邪分别过失。言亦有异亦无异者；是相杂乱过失。言非有异非无异者；是损减过失。 - 朱芾煌