根岑系统相关硕士博士期刊学术论文

本文研究否定算子的兰贝克演算，提出了兰贝克演算的极小否定扩张，刻画了兰贝克演算的极小否定扩张的代数模型，同时证明了兰贝克演算的......