# American Institute of Mathematical Sciences

February  2006, 15(1): 237-258. doi: 10.3934/dcds.2006.15.237

## Dynamical properties of logical substitutions

 1 Department of Mathematics and Computer Science, University of Udine, via delle Scienze 208, 33100 Udine, Italy

Received  November 2004 Revised  June 2005 Published  February 2006

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.
Citation: Giovanni Panti. Dynamical properties of logical substitutions. Discrete & Continuous Dynamical Systems - A, 2006, 15 (1) : 237-258. doi: 10.3934/dcds.2006.15.237
 [1] G. Mashevitzky, B. Plotkin and E. Plotkin. Automorphisms of categories of free algebras of varieties. Electronic Research Announcements, 2002, 8: 1-10. [2] Vladimir Müller, Aljoša Peperko. Lower spectral radius and spectral mapping theorem for suprema preserving mappings. Discrete & Continuous Dynamical Systems - A, 2018, 38 (8) : 4117-4132. doi: 10.3934/dcds.2018179 [3] Vu Hoang Linh, Volker Mehrmann. Spectral analysis for linear differential-algebraic equations. Conference Publications, 2011, 2011 (Special) : 991-1000. doi: 10.3934/proc.2011.2011.991 [4] Grégory Berhuy. Algebraic space-time codes based on division algebras with a unitary involution. Advances in Mathematics of Communications, 2014, 8 (2) : 167-189. doi: 10.3934/amc.2014.8.167 [5] Ilwoo Cho, Palle Jorgense. Free probability on $C^{*}$-algebras induced by hecke algebras over primes. Discrete & Continuous Dynamical Systems - S, 2018, 0 (0) : 2221-2252. doi: 10.3934/dcdss.2019143 [6] Thomas Honold, Ivan Landjev. The dual construction for arcs in projective Hjelmslev spaces. Advances in Mathematics of Communications, 2011, 5 (1) : 11-21. doi: 10.3934/amc.2011.5.11 [7] Keonhee Lee, Ngoc-Thach Nguyen, Yinong Yang. Topological stability and spectral decomposition for homeomorphisms on noncompact spaces. Discrete & Continuous Dynamical Systems - A, 2018, 38 (5) : 2487-2503. doi: 10.3934/dcds.2018103 [8] Jędrzej Śniatycki. Integral curves of derivations on locally semi-algebraic differential spaces. Conference Publications, 2003, 2003 (Special) : 827-833. doi: 10.3934/proc.2003.2003.827 [9] Adina Juratoni, Flavius Pater, Olivia Bundău. Operator representations of logmodular algebras which admit $\gamma-$spectral $\rho-$dilations. Electronic Research Announcements, 2012, 19: 49-57. doi: 10.3934/era.2012.19.49 [10] B. S. Lee, Arif Rafiq. Strong convergence of an implicit iteration process for a finite family of Lipschitz $\phi -$uniformly pseudocontractive mappings in Banach spaces. Numerical Algebra, Control & Optimization, 2014, 4 (4) : 287-293. doi: 10.3934/naco.2014.4.287 [11] Laurent Amour, Jérémy Faupin. Inverse spectral results in Sobolev spaces for the AKNS operator with partial informations on the potentials. Inverse Problems & Imaging, 2013, 7 (4) : 1115-1122. doi: 10.3934/ipi.2013.7.1115 [12] Byung-Soo Lee. A convergence theorem of common fixed points of a countably infinite family of asymptotically quasi-$f_i$-expansive mappings in convex metric spaces. Numerical Algebra, Control & Optimization, 2013, 3 (3) : 557-565. doi: 10.3934/naco.2013.3.557 [13] Matthew S. Keegan, Berta Sandberg, Tony F. Chan. A multiphase logic framework for multichannel image segmentation. Inverse Problems & Imaging, 2012, 6 (1) : 95-110. doi: 10.3934/ipi.2012.6.95 [14] Matthias Täufer, Martin Tautenhahn. Scale-free and quantitative unique continuation for infinite dimensional spectral subspaces of Schrödinger operators. Communications on Pure & Applied Analysis, 2017, 16 (5) : 1719-1730. doi: 10.3934/cpaa.2017083 [15] A. A. Kirillov. Family algebras. Electronic Research Announcements, 2000, 6: 7-20. [16] Pierre-Étienne Druet. Higher $L^p$ regularity for vector fields that satisfy divergence and rotation constraints in dual Sobolev spaces, and application to some low-frequency Maxwell equations. Discrete & Continuous Dynamical Systems - S, 2015, 8 (3) : 475-496. doi: 10.3934/dcdss.2015.8.475 [17] Masayuki Sato, Naoki Fujita, A. J. Sievers. Logic operations demonstrated with localized vibrations in a micromechanical cantilever array. Discrete & Continuous Dynamical Systems - S, 2011, 4 (5) : 1287-1298. doi: 10.3934/dcdss.2011.4.1287 [18] Fengbo Hang, Fanghua Lin. Topology of Sobolev mappings IV. Discrete & Continuous Dynamical Systems - A, 2005, 13 (5) : 1097-1124. doi: 10.3934/dcds.2005.13.1097 [19] Steffen Konig and Changchang Xi. Cellular algebras and quasi-hereditary algebras: a comparison. Electronic Research Announcements, 1999, 5: 71-75. [20] Stephen Doty and Anthony Giaquinto. Generators and relations for Schur algebras. Electronic Research Announcements, 2001, 7: 54-62.

2018 Impact Factor: 1.143