強連通分支遞迴性,一種用於分析定性論證框架中語義的有效工具,同樣適用於量化論證框架,特別是模糊論證框架中的模糊擴展語義。
鏈完備偏序集(CPO)的範疇是共良基的,這意味著每個 CPO 都只有一組可數的商對象。
本文探討了布林代數中幾乎加細關係的組合結構,特別關注了與收穫數和超濾子數的關係,並證明了 Cohen 代數的超濾子數大於等於 meagre ideal 的共尾性。
本文提出了一種在具有有限極限的 (∞, 1)-範疇中定義高階歸納類型的方法,並證明了具有高階歸納類型的 (∞, 1)-範疇是有限可表示的。作者進一步證明了全局截面函子對於具有高階歸納類型的初始 (∞, 1)-範疇保留高階歸納類型,這意味著一種新的規範性形式。
本文探討如何利用線性代數方法,特別是半流和生成集的概念,來分析轉移系統(特別是 Petri 網)中的不變量和歸屬空間,並藉此驗證系統的行為特性,例如有界性、活性以及公平性。
本文證明了有限一元半群是否可表示為二元關係的互補半群的問題是不可判定的,並為具有核和餘核的一元運算的二元關係半群證明了類似的結果。
本文旨在推廣黏著範疇和擬黏著範疇的關鍵特性至更廣泛的 $\mathcal{M},\mathcal{N}$-黏著範疇,探討 $\mathcal{M},\mathcal{N}$-黏著性對範疇結構的影響,並證明此類範疇可以嵌入 Grothendieck 拓撲中。
本文闡述了在虛擬設備中具有稠密根的相對單子的相對單子性定理,並將其應用於豐富的相對單子。
本文定義了薄型 MC 左正規帶,並探討其相鄰圖的獨特結構,證明了薄型 MC 左正規帶的相鄰圖可以用邊緣標記圖來表示,其中每個簡單循環都具有偶數個邊緣。
本文證明了微分動態邏輯 (dL) 的公理化系統對於具有緊緻初始條件和緊緻時間範圍的初始值問題 (IVP) 的有界開放安全性、開放活性以及存在性屬性是完備的。