男人摸女人的胸视频,91精品国产91久久久久久最新,黄色视频性爱免费看,黄瓜视频在线观看,国产小视频国产精品,成人福利国产一区二区,国产高清精品自拍91亚洲,国产91一区二区

加急見刊

帶否定算子的蘭貝克演算研究

林哲; 梁飛 中山大學哲學系; 中山大學邏輯與認知研究所; 山東大學哲學與社會發(fā)展學院

摘要：本文研究否定算子的蘭貝克演算，提出了蘭貝克演算的極小否定擴張，刻畫了蘭貝克演算的極小否定擴張的代數(shù)模型，同時證明了蘭貝克演算的極小否定的擴張判定性，并發(fā)展了該邏輯的一個根岑序列演算。同時本文也將結(jié)論拓展到蘭貝克演算的德摩根擴張并證明其判定性。

注: 保護知識產(chǎn)權(quán),如需閱讀全文請聯(lián)系邏輯學研究雜志社