xD 叫做 x 的导出(derivative)。导出代数为拓扑学中导集算子提供代数抽象。它还为模态逻辑wK4 = K + p∧□p → □□p 扮演布尔代数对普通命题逻辑所扮演的角色。
引用
Esakia, L., Intuitionistic logic and modality via topology, Annals of Pure and Applied Logic, 127 (2004) 155-170
McKinsey, J.C.C. and Tarski, A., The Algebra of Topology, Annals of Mathematics, 45 (1944) 141-191
八月 01, 2023
导出代数, 在抽象代数中, 是如下标识, signature, 的代数结构, 这里的, 是布尔代数而, 是一元算子导出算子, 它满足如下恒等式, ydxd, 叫做, 的导出, derivative, 为拓扑学中导集算子提供代数抽象, 它还为模态逻辑, 扮演布尔代数对普通命题逻辑所扮演的角色, 引用, 编辑esakia, intuitionistic, logic, modality, topology, annals, pure, applied, logic, 2004, 170mckinsey, tarski,. 在抽象代数中 导出代数是如下标识 signature 的代数结构 lt A 0 1 D gt 这里的 lt A 0 1 gt 是布尔代数而 D 是一元算子导出算子 它满足如下恒等式 0D 0 xDD x xD x y D xD yDxD 叫做 x 的导出 derivative 导出代数为拓扑学中导集算子提供代数抽象 它还为模态逻辑 wK4 K p p p 扮演布尔代数对普通命题逻辑所扮演的角色 引用 编辑Esakia L Intuitionistic logic and modality via topology Annals of Pure and Applied Logic 127 2004 155 170McKinsey J C C and Tarski A The Algebra of Topology Annals of Mathematics 45 1944 141 191 取自 https zh wikipedia org w index php title 导出代数 amp oldid 25475218, 维基百科,wiki,书籍,书籍,图书馆,