Abstract
We consider the variety of Dynamic Relation Algebras V(DRA). We show that the monoid of an algebra in this variety determines dynamic negation uniquely.
Similar content being viewed by others
References
Groenendijk, J. and Stokhof, M., 1991, “Dynamic predicate logic,” Linguistics and Philosophy 14, 39–100.
Hollenberg, M.J., 1997, “An equational axiomatisation of dynamic negation and relational composition,” Journal of Language, Logic, and Information 6(4), 381–401.
Pratt, V., 1991, “Action logic and pure induction,” pp. 97–120 in Logics in AI - European Workshop JELIA’ 90, J. van Eijck, ed., Berlin: Springer-Verlag.
Vermeulen, C.F.M., 1994a, “Incremental semantics for propositional texts,” Notre Dame Journal of Formal Logic 35, 243–271.
Vermeulen, C.F.M., 1994b, “Update semantics for propositional texts,” pp. 363–386 in Applied Logic: How, What and Why?: Proceedings of the Applied Logic Conference, Logic@Work, M. Masuch and L. Pólós, eds., Dordrecht: Kluwer Academic Publishers.
Visser, A., 1997, “Dynamic Relation Logic is the logic of DPL-relations,” Journal of Language, Logic, and Information 6(4), 441–452.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hollenberg, M., Visser, A. Dynamic Negation, the One and Only. Journal of Logic, Language and Information 8, 137–141 (1999). https://doi.org/10.1023/A:1008230514856
Issue Date:
DOI: https://doi.org/10.1023/A:1008230514856