algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] di Boole diviene un capitolo importante della teoria generale dei reticoli introdotta negli anni Trenta del secolo scorso da GarrettBirkhoff. Un reticolo è un insieme ordinato 〈I, ≤ > in cui ogni coppia di elementi (e quindi ogni insieme finito ...
Leggi Tutto