The donkey and the monoid. Dynamic semantics with control elements (Q5960010)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1727126
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The donkey and the monoid. Dynamic semantics with control elements |
scientific article; zbMATH DE number 1727126 |
Statements
The donkey and the monoid. Dynamic semantics with control elements (English)
0 references
11 April 2002
0 references
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.
0 references
variants of dynamic predicate logic
0 references
e-monoids
0 references
dynamic relation algebras
0 references
signatures
0 references
models
0 references
polarity switcher
0 references
interaction of meanings
0 references
0.7580724358558655
0 references
0.7376023530960083
0 references
0.735541820526123
0 references
0.7341556549072266
0 references
