Finite RDP-algebras: duality, coproducts and logic
In this paper the authors prove the Priestley duality for finite RDP-algebras and investigate explicit constructions of a number of objects relevant to logical interpration of RDP-algebras: normal forms, strongest deductive interpolants and most general unifiers. Also they prove that RDP-unification is unitary.
scientific article; zbMATH DE number 6048163