Propositional logic of continuous transformations in Cantor space

被引：7

作者：

Mints, G ^{[1
]}

Zhang, T

机构：

[1] Stanford Univ, Dept Philosophy, Stanford, CA 94305 USA

[2] Stanford Univ, Dept Comp Sci, Stanford, CA 94305 USA

来源：

关键词：

Mathematical Logic; Propositional Logic; Continuous Transformation; Cantor Space;

D O I：

10.1007/s00153-005-0285-z

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：783 / 799

页数：17