Generic substitutions

Details Generic substitutions Generic substitutions

2003-08-19

arxiv.org/abs/math/0308177v2

Mathematics

Logic

22 pages, 2 figures. Revised version according to the referee's suggestions. To appear in the J. of Symbolic Logic

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Generic substitutions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Generic substitutions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Generic substitutions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-384537