本文在自反Banach空间中引进了锥弱连续映射和点集的弱连通概念.在讨论锥弱连续和锥拟凸映射以及锥最小上界的几个性质的基础上,证......

在维瑟（Albert Visser）的基本命题逻辑（BPL）基础上增加公理（p→q）∨（（p→q）→p）得到的逻辑LB相对于弱连通传递框架类是完全的。增加达米特（M.D......

维瑟的基本命题逻辑(BPL)是比直觉主义逻辑(Int)还要小的逻辑,在语义方面所要求的是传递关系克里普克语义框架。对逻辑BPL的研究在......