泛型代换
逻辑
2007-05-23 v2 动力系统
摘要
在等价意义下，命题逻辑中的代换是其自由代数的自同态。在对偶空间上，这导致一个连续函数；而当该空间带有自然测度时，人们可以询问该作用的随机性质。经典逻辑中存在强烈的二分性：在有限多个命题变元上一切都是平凡的，而对 Cantor 空间连续变换的研究则有大量文献，且远未完成。在多值逻辑中这种二分性消失：即便在有限变元情形也会发生许多有趣现象，本文旨在展示其中一些。
引用
@article{arxiv.math/0308177,
title = {Generic substitutions},
author = {Giovanni Panti},
journal= {arXiv preprint arXiv:math/0308177},
year = {2007}
}
备注
22 pages, 2 figures. Revised version according to the referee's suggestions. To appear in the J. of Symbolic Logic