Sezione a cura di Alberto Artosi

Indice

PRAKTIKA
Cittadinanza, democrazia, diritti
Danilo Zolo, La cittadinanza democratica nell’era del postcomunismo
Emilio Santoro, Antinomie della cittadinanza
Francesco Paolo Vertova, Diritti di cittadinanza
Antonietta Brillante, Cittadinanza e diritti sociali
Luca Baccelli, Cittadinanza, diritti, appartenenza
Franca Bonichi, Cittadinanza e cittadini

ANALYTIKA
Meccanizzazione del ragionamento e dimostrazione automatica. Parte I
a cura di Alberto Artosi
Alberto Artosi, Nota introduttiva
Paolo Garbolino, I sistemi esperti probabilistici degli anni novanta
Jim Cunningham, Jeremy V. Pitt, Karl G. Van den Bergh, Ragionamento automatico e analisi del linguaggio naturale
Marcello D’Agostino e Dov M. Gabbay, Tableaux indicizzati e logiche substrutturali