Links for tarrah-logic