The donkey and the monoid. Dynamic semantics with control elements
type: Item
instance of: scholarly article
title: The donkey and the monoid. Dynamic semantics with control elements
zbMATH Open document ID: 0998.03028
DOI: 10.1023/A:1013026830239
author: Albert Visser
published in: Journal of Logic, Language and Information
publication date: 2002-04-11T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 68T50
Mathematics Subject Classification ID: 91F20
zbMATH DE Number: 1727126
zbMATH Keywords: variants of dynamic predicate logic
zbMATH Keywords: e-monoids
zbMATH Keywords: dynamic relation algebras
zbMATH Keywords: signatures
zbMATH Keywords: models
zbMATH Keywords: polarity switcher
zbMATH Keywords: interaction of meanings
MaRDI profile type: MaRDI publication profile
description: scientific article; zbMATH DE number 1727126