1) Brouwerian logic
布劳威尔逻辑
1.
An abstract lattice L is residual when “∧” is taken as the gruoup operation, if and only if the dual of L is a Brouwerian logic.
剩余格是具备了一定条件的1 -广群 ,为了研究其结构 ,给出了剩余格的2个特征性质即剩余格中的每个元均为负的 ;一个抽象格L,当“∧”被取为运算时是剩余的 ,当且仅当L的对偶是一个布劳威尔逻辑。
2) Brouwer
布劳威尔
1.
The Postmodern Germination of Brouwer s Philosophy of Mathematics and Its Impact On Wittgenstein;
布劳威尔数学哲学思想中的后现代萌芽及其对维特根斯坦的影响
3) Boolean logic
布尔逻辑
1.
Distribution System Reliability Assessment Based on Boolean Logic Driven Markov Processes;
基于布尔逻辑驱动的马尔可夫过程法在配电系统可靠性评估中的应用
2.
In a classicial world people use Boolean logic,but in a quantum world must use quantum logic,the two logic s algebra structures are Boolean lattice and orthmodular lattice respectively.
在经典的世界中使用的是布尔逻辑系统,在一个量子的世界中使用的是量子逻辑系统,它们的代数结构分别是布尔格和正交模格,本文详细讨论了这两种代数结构,说明了量子逻辑中的不相容性问题和两种解决的方法,并进行了比较分析。
4) Luitzen Egbertus Jan Brouwer (1881～1966)
布劳威尔，L.E.J.
5) quasi-boolean logics
拟布尔逻辑
6) Brouwer theorem
布劳威尔定理
补充资料：布劳威尔，L.E.J.
荷兰数学家。1881年 2月27日生于荷兰的奥弗希，1966年12月 2日卒于布拉里克姆。1897年入阿姆斯特丹大学，1904年毕业。同年发表关于四维空间连续运动的论文。在G.曼诺利的影响下，开始接触拓扑学和数学基础。同时又热衷于研究哲学和神秘主义。他对当时B.A.W.罗素与（J.-）H.庞加莱关于数学的逻辑基础的论战极为关注，这反映在他的博士论文《论数学基础》(1907)之中。这时，他常反对罗素和D.希尔伯特的观点，但又不同意庞加莱关于数学存在性的看法。1912年他被任命为阿姆斯特丹大学教授，同年被选为荷兰皇家科学院院士。从此他完全转向数学基础的研究。他强调数学直觉，反对G.（F.P.）康托尔关于实无穷的讨论，坚持数学对象必须可以构造，并否定排中律的绝对正确性，被视为直觉主义的创始人和代表人物。
他在拓扑学的突出贡献是建立布劳威尔不动点定理以及证明维数的拓扑不变性(1910)。在证明过程中,他曾引进了连续映射的单纯逼近和映射的拓扑度的概念，并进而证明 n维区域的拓扑不变性。他还发现平面上不可分解的连续统是可数多个单连通区域的公共边界(1910)；把若尔当曲线定理推广到n维空间(1912);给维数以严格的拓扑定义(1913)。他对希尔伯特第5问题也作出了一些贡献。1912年起，他再度关注数学的基础问题，特别研究集合的原始地位及排中律的作用，建立构造主义的数学体系，包括可构造连续统；集合论的构造基础，构造的测度论，构造的函数论等。20世纪30年代以后，由于K.哥德尔等人的工作，直觉主义数学有了一定的进展。第二次世界大战后，由于计算机的广泛使用，构造主义观点为更多的数学家所接受。
1951年布劳威尔退休，1966年去世。他的论文收集在两卷《全集》(1975)中。
他在拓扑学的突出贡献是建立布劳威尔不动点定理以及证明维数的拓扑不变性(1910)。在证明过程中,他曾引进了连续映射的单纯逼近和映射的拓扑度的概念，并进而证明 n维区域的拓扑不变性。他还发现平面上不可分解的连续统是可数多个单连通区域的公共边界(1910)；把若尔当曲线定理推广到n维空间(1912);给维数以严格的拓扑定义(1913)。他对希尔伯特第5问题也作出了一些贡献。1912年起，他再度关注数学的基础问题，特别研究集合的原始地位及排中律的作用，建立构造主义的数学体系，包括可构造连续统；集合论的构造基础，构造的测度论，构造的函数论等。20世纪30年代以后，由于K.哥德尔等人的工作，直觉主义数学有了一定的进展。第二次世界大战后，由于计算机的广泛使用，构造主义观点为更多的数学家所接受。
1951年布劳威尔退休，1966年去世。他的论文收集在两卷《全集》(1975)中。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条