| 133367 | |
| IDG800400019 | |
| 80.04.00019 - Ist. Doc. Giur. / CNR - Firenze
| |
| schreiner helmut
| |
| nuovi processi logici per il ragionamento giuridico
| |
| | |
| | |
| | |
| | |
| | |
| Inf. dir., an. 5 (1979), fasc. 1, pag. 115-137
| |
| (Bibliografia: a pie' di pagina o nel corpo del testo)
| |
| f6001; f6002
| |
| | |
| | |
| | |
| | |
| nel saggio sono illustrate, oltre a tecniche di trascrizione formale
delle norme giuridiche, delle regole di verifica del calcolo
sintattico che consentono di comprovare la legittimita' delle
conclusioni raggiunte. tali regole fanno capo al metodo c.d. della
controformula o della formula contraria e comprendono regole di
trascrizione delle norme di base in formule in cui non siano
rinvenibili termini sintattici diversi dalle negazioni, congiunzioni
e disgiunzioni, regole di scomposizione delle formule ottenute ai
fini d' una maggiore chiarezza e omogeneita' d' analisi e regole di
verifica e purificazione del contenuto normativo, atte a individuare
eventuali fonti d' invalidita' e quindi a segnalare le necessarie
correzioni.
| |
| | |
| Ist. per la documentazione giuridica - Firenze
| |