Generic substitutions

DOI10.2178/JSL/1107298510zbMATH Open1089.03017arXivmath/0308177OpenAlexW3037170312MaRDI QIDQ3370754FDOQ3370754

Giovanni Panti

Publication date: 8 February 2006

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

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.

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

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

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)

Cites Work

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

Cited In (6)

• Generic composition
• The spectrum problem for abelian \(\ell\)-groups and MV-algebras
• Title not available (Why is that?)
• The Automorphism Group of Falsum-Free Product Logic
• Generic saturation
• Invariant Measures in Free 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)