Dynamical properties of logical substitutions

被引:4
|
作者
Panti, G [1 ]
机构
[1] Univ Udine, Dept Math & Comp Sci, I-33100 Udine, Italy
关键词
algebraic logic; free algebras; spectral spaces; dual mappings;
D O I
10.3934/dcds.2006.15.237
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Many kinds of algebraic structures have associated dual topological spaces, among others commutative rings with 1 (this being the paradigmatic example), various kinds of lattices, boolean algebras, C*-algebras,.... These associations are functorial, and hence algebraic endomorphisms of the structures give rise to continuous selfmappings of the dual spaces, which can enjoy various dynamical properties; one then asks about the algebraic counterparts of these properties. We address this question from the point of view of algebraic logic. The datum of a set of truth-values and a "conjunction" connective on them determines a propositional logic and an equational class of algebras. The algebras in the class have dual spaces, and the duals of endomorphisms of free algebras provide dynamical models for Frege deductions in the corresponding logic.
引用
收藏
页码:237 / 258
页数:22
相关论文
共 50 条