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 条
  • [1] On a logical foundation for explicit substitutions
    Pfenning, Frank
    [J]. Typed Lambda Calculi and Applications, Proceedings, 2007, 4583 : 1 - 1
  • [2] On a logical foundation for explicit substitutions
    Pfenning, Frank
    [J]. Term Rewriting and Applications, Proceedings, 2007, 4533 : 19 - 19
  • [3] LOGICAL PROPERTIES OF PERCEIVED BEHAVIOUR PATTERNS OF A DYNAMICAL SYSTEM
    TONGE, DG
    [J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1974, 6 (06): : 715 - 728
  • [4] Logical Forms, Substitutions and Information Types
    Puncochar, Vit
    [J]. LOGIC AND LOGICAL PHILOSOPHY, 2023, 32 (03) : 459 - 473
  • [5] A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties
    Naldi, Aurelien
    Remy, Elisabeth
    Thieffry, Denis
    Chaouiya, Claudine
    [J]. COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS, 2009, 5688 : 266 - +
  • [6] Substitutions and symbolic dynamical systems
    Ferenczi, S
    [J]. SUBSTITUTIONS IN DYNAMICS, ARITHMETICS AND COMBINATORICS, 2002, 1794 : 101 - 142
  • [7] Reduction of logical models of regulatory networks yields insight into dynamical properties
    Chaouiya, Claudine
    Naldi, Aurelien
    Remy, Elisabeth
    Thieffry, Denis
    [J]. 2010 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, 2010, : 524 - 529
  • [8] Logical entropy of dynamical systems
    Dagmar Markechová
    Abolfazl Ebrahimzadeh
    Zahra Eslami Giski
    [J]. Advances in Difference Equations, 2018
  • [9] Emergence: logical, functional and dynamical
    Mitchell, Sandra D.
    [J]. SYNTHESE, 2012, 185 (02) : 171 - 186
  • [10] Logical entropy of dynamical systems
    Markechova, Dagmar
    Ebrahimzadeh, Abolfazl
    Giski, Zahra Eslami
    [J]. ADVANCES IN DIFFERENCE EQUATIONS, 2018,