石头对偶性、拓扑代数和识别 电子书下载

原名:Stone duality, topological algebra, and recognition
作品简介:应用于代数的拓扑代数和应用于逻辑的斯通对偶性，是一般数学中的有限完成所固有的。直觉逻辑的框架语义，以及 Goldblatt 的论文 [30] 识别了模态逻辑中的 2. MAI GEHRKE。这些应用程序需要的不仅仅是……