home
首頁
navigate_next
最新消息
navigate_next
系辦公告
navigate_next
賀！本系 史德凡 助理教授合著論文“Topics, Non-Uniform Substitutions, And Variable Sharing” 發表於《Review of Symbolic Logic》
最新消息
2025/07/18
賀！本系 史德凡 助理教授合著論文“Topics, Non-Uniform Substitutions, And Variable Sharing” 發表於《Review of Symbolic Logic》
賀！本系助理教授 Shawn Standefer與 Shay Logan and Thomas Ferguson
合著論文“Topics, Non-Uniform Substitutions, And Variable
Sharing” 發表於《Review of Symbolic Logic》
本論文提出 Lericone 變量共享條件，證明其在相關邏輯 B／BM 中可證，並刻畫滿足該條件的
最大古典片段，進一步精細化推理相關性的形式分析。