Informatica e diritto, XIX Annata, Vol. II, 1993, n. 2, pp. 123-147

Paolo C. Guidotti

Norme e modelli formali. Alcune note in margine al dibattito sulle applicazioni dell'informatica al diritto

Sommario: 1. Introduzione. 2. Gli elementi che intervengono nella rappresentazione formale nelle scienze naturali. 3. La logica deontica e le applicazioni della logica al diritto. 3.1. La semantica. 3.2. Le applicazioni della logica al diritto. 4. Norme e modelli formali. Bibliografia.

vai al testo integrale / see full text