An Equational Axiomatization of Dynamic Negation and Relational Composition

A Course in Universal Algebra.

Andreas Blass, Stanley Burris, Hanamantagouda P. Sankappanavar · American Mathematical Monthly · 1984 · 2K citations

Natural Sciences, Mathematics, Mathematics Education +10

Dynamic predicate logic

Jeroen Groenendijk, Martin Stokhof · Linguistics and Philosophy · 1991 · 1.4K citations · Full text

On the calculus of relations

Alfred Tarski · Journal of Symbolic Logic · 1941 · 813 citations

Humanities, Mathematics, Philosophy +13

Modal logic with names

George Gargov, Valentin Goranko · Journal of Philosophical Logic · 1993 · 168 citations

Humanities, Computer Science, Logic +3

On representable relation algebras.

Donald Monk · The Michigan Mathematical Journal · 1964 · 147 citations · Full text

Computing, Computer Science, Algebra +10