Orden des Infanten Dom Henrique
Am 19. Januar 1981 wurde er mit dem Großkreuz des Orden des Infanten Dom Henrique ausgezeichnet (siehe auch Liste der Träger des Ordens des Infanten Dom Henrique (Großkreuz)).