Seminario del 2012

Caratterizzazioni relazionali (come particolari preordini) e caratterizzazioni algebriche (come insiemi con operazioni binarie); i punti di vista sintattico e semantico sono ugualmente efficaci. Un particolare tipo di reticoli (quelli algebrici) illumina la struttura delle strutture algebriche, soprattutto quelle organizzate in classi equazionali o universali di Horn.

indietro