Banche dati professionali (ex 3270)
Stampa giuridica

Documento


168041
IDG860410021
86.04.10021 - Ist. Doc. Giur. / CNR - Firenze
Sanchez-Mazas Miguel
Logica, sistemas normativos y modelos aritmeticos
(Logica, sistemi normativi e modelli aritmetici)
Contributo alle "Giornate mediterranee di logica e informatica giuridica" organizzate dal Dipartimento di Filosofia del Diritto dell' Universita' Baleare e dal CALIJ (Centro di Analisi, Logica e Informatica Giuridica) di Madrid, Palma di Maiorca, 22-27 novembre 1982
Inf. dir., an. 9 (1983), fasc. 2, pag. 279-325
(Bibliografia: a pie' di pagina o nel corpo del testo)
F6002
(Sommario: I. Introduzione generale. II. Analisi logica e modelli aritmetici dei sistemi normativi a livello delle norme analizzate nelle loro componenti logiche (condizioni deonticamente determinanti e fatti-azioni deonticamente determinate, o casi e soluzioni); A. Considerazioni preliminari. B. La teoria dei sistemi deduttivi secondo Alfred Tarski, il suo modello aritmetico e la sua applicazione ai sistemi normativi; C) Utilizzazione informatica del modello)
Centro diretto da G. Taddei Elmi - IDG Firenze



Ritorna al menu della banca dati