Dynamical properties of logical substitutions

DOI10.3934/DCDS.2006.15.237MaRDI QIDQ2503197zbMATH OpenOpenAlexFDO

Authors Giovanni Panti

Publication date 14 September 2006

Published in Discrete and Continuous Dynamical Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0411509

zbMATH Keywords

dynamical systemMV-algebraMcNaughton functiongamma-functorTsujii differential Łukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Dynamical aspects of measure-preserving transformations (37A05) MV-algebras (06D35)

Abstract: This is an expository paper on the dynamical properties of substitutions in propositional many-valued logics. We identify substitutions with endomorphisms of free algebras, and we study their actions on the dual spectral spaces.

Recommendations

• Logics of dynamical systems
• On decision problems for substitutions in symbolic dynamics
• A uniform substitution calculus for differential dynamic logic
• Substitutions in dynamics, arithmetics and combinatorics
• SUBSTITUTION IN RELEVANT LOGICS
• Substructural propositional dynamic logics
• A complete uniform substitution calculus for differential dynamic logic
• Subshifts as models for MSO logic

Cited in

(6)

• The Automorphism Group of Falsum-Free Product Logic
• The Lebesgue state of a unital abelian lattice-ordered group
• Generic substitutions
• Bernoulli automorphisms of finitely generated free MV-algebras
• Finite axiomatizability in Łukasiewicz logic
• scientific article; zbMATH DE number 4168191 (Why is no real title available?)

This page was built for publication: Dynamical properties of logical substitutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2503197)