The donkey and the monoid. Dynamic semantics with control elements

From MaRDI portal





The author introduces some variants of the dynamic predicate logic (DPL). In Section 2, the author specifies what he means by a variant of DPL and details the used tools: e-monoids, dynamic relation algebras, signatures and models. In Section 3, the author develops his first variant of DPL by adding a polarity switcher. The switcher just changes the streams to which the local contributions are added. Some paraphrases about a farmer and his donkey (!!!) illustrate both the flexibility and the rigidity of this variant. A systematic use of monoids allows to programme the interaction of meanings.











This page was built for publication: The donkey and the monoid. Dynamic semantics with control elements

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