Generic substitutions

DOI10.2178/JSL/1107298510MaRDI QIDQ3370754zbMATH OpenOpenAlexFDO

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

continuous t-normendomorphism of free algebrapropositional algebraic logicspectral spacesstochastic properties

Mathematics Subject Classification ID

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

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

• 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 cancellative hoops
• Free products in the category of Abelian \(\ell\)-groups with strong unit
• Free Vector Lattices
• Geometrical methods in Wajsberg hoops
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 705155 (Why is no real title available?)
• Ideals in universal algebras
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Measure-preserving homeomorphisms and metrical transitivity
• Metamathematics of fuzzy logic
• On the structure of hoops
• ORDERED BRATTELI DIAGRAMS, DIMENSION GROUPS AND TOPOLOGICAL DYNAMICS
• Prime ideals in free \(\ell\)-groups and free vector lattices
• Spectral sets
• Super-Łukasiewicz propositional logics
• Varieties of MV-algebras

Cited in

(9)

• Generic composition
• Theories of the classical propositional logic and substitutions
• Theories in classical propositional logic and the converse of substitution
• Theories of propositional logics and the converse of substitution
• scientific article; zbMATH DE number 5125127 (Why is no real title available?)
• Invariant Measures in Free MV-Algebras
• Generic saturation
• The Automorphism Group of Falsum-Free Product Logic
• 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)