Generic substitutions

DOI10.2178/JSL/1107298510MaRDI QIDQ3370754zbMATHOpenAlexFDO

Authors Giovanni Panti

Publication date 8 February 2006

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

spectral spacescontinuous t-normstochastic propertiesendomorphism of free algebrapropositional algebraic logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Symbolic dynamics (37B10) Other algebras related to logic (03G25)

Abstract: Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space carries a natural measure one may ask about the stochastic properties of the action. In classical logic there is a strong dichotomy: while over finitely many propositional variables everything is trivial, the study of the continuous transformations of the Cantor space is the subject of an extensive literature, and is far from being a completed task. In many-valued logic this dichotomy disappears: already in the finite-variable case many interesting phenomena occur, and the present paper aims at displaying some of these.

Recommendations

• Theories in classical propositional logic and the converse of substitution
• Axiomatisation of substitution
• On the Notion of Substitution
• Publication:3474634
• Dynamical properties of logical substitutions

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 705155 (Why is no real title available?)
• A constructive proof of McNaughton's theorem in infinite-valued logic
• A propositional calculus with denumerable matrix
• A theorem about infinite-valued sentential logic
• Algebraic foundations of many-valued reasoning
• Algebraizable logics
• An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
• Equational characterization of all varieties of MV-algebras
• Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
• Finitely generated free MV-algebras and their automorphism groups
• Free Vector Lattices
• Free cancellative hoops
• Free products in the category of Abelian \(\ell\)-groups with strong unit
• Geometrical methods in Wajsberg hoops
• Ideals in universal algebras
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Measure-preserving homeomorphisms and metrical transitivity
• Metamathematics of fuzzy logic
• ORDERED BRATTELI DIAGRAMS, DIMENSION GROUPS AND TOPOLOGICAL DYNAMICS
• On the structure of hoops
• Prime ideals in free \(\ell\)-groups and free vector lattices
• Spectral sets
• Super-Łukasiewicz propositional logics
• Varieties of MV-algebras

Cited in

(7)

• Generic composition
• Generic saturation
• scientific article; zbMATH DE number 5125127 (Why is no real title available?)
• The Automorphism Group of Falsum-Free Product Logic
• Theories in classical propositional logic and the converse of substitution
• Invariant Measures in Free MV-Algebras
• The spectrum problem for abelian \(\ell\)-groups and MV-algebras

This page was built for publication: Generic substitutions

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