In particular, it ends up counting as logical only those operators of standard first-order logic without identity.
Ειδικότερα, καταλήγει να χαρακτηρίζονται ως λογικές μόνο εκείνες οι πράξεις της πρώτης τάξης χωρίς ταυτότητα.