Legenda: SI = sommario e testo integrale; RI = riassunto e testo integrale; TI = testo integrale
Actas de las jornadas mediterráneas de lógica e informática jurídica
Palma de Mallorca, 22-27 de novíembre de 1982
Questo fascicolo è dedicato alla pubblicazione dei contributi più significativi presentati alle Giornate mediterranee di logica e informatica giuridica organizzate a Palma di Maiorca, nel novembre 1982, dal Dipartimento di Filosofia del Diritto dell’Università baleare e dal Centro di analisi, logica e informatica giuridica (CALIJ) di Madrid.
Con questa iniziativa la Direzione e la Redazione della rivista intendono offrire ai lettori un’occasione di aggiornamento su temi di grande importanza teorica e applicativa; gli stessi su cui i responsabili della rivista hanno già richiamato l’attenzione degli operatori del diritto, con una specifica raccolta di saggi (Informatica e diritto 2/1978 e 1/1979) e con la pubblicazione degli Atti del Convegno internazionale di studi su “Logica, Informatica, Diritto”.
INTRODUZIONE
- Manuel Atienza, Proyección española e internacional de las Jornadas de Palma (introduzione) (TI)
- Miguel Sánchez-Mazas, Las Jornadas de Palma de Mallorca y el triangulo Lógica-Informática-Derecho (TI)
METODOLOGIA GIURIDICA
- Antonio Hernández-Gil, Introducción general: el papel de la lógica y de la informática en la esfera jurídica (TI)
DIRITTO DELL’INFORMATICA
- Javier Boix Reig, Consideraciones sobre la protección penal de la intimidad y del honor e informática (SI)
- Vittorio Frosini, De la informática jurídica al derecho informático (SI)
- Eduardo Galán Corona, Entorno a la protección jurídica del soporte lógico (SI)
- Antonio-Enrique Pérez Luño, Informática jurídica y derecho de la informática en España (SI)
INFORMATICA GIURIDICA
- Costantino Ciampi, La documentazione automatica nel campo del diritto: confronto tra i principali sistemi operativi (SI)
- Costantino Ciampi, Elio Fameli, Sandro Ricci, Giuseppe Trivisonno, THES/BID: un “thesaurus” per l’informatica giuridica e il diritto dell’informatica, redatto con l’ausilio dell’elaboratore elettronico (RI)
- Ernesto García Camarero, Representación del conocimiento por medios informáticos: bases de datos y redes semánticas (SI)
- Mario G. Losano, Le tecniche per il controllo della realizzazione dei programmi politici (SI)
LOGICA GIURIDICA
- Giuliano Di Bernardo, La teoria dell’azione come base per la logica deontica (RI)
- Jean-Louis Gardies, Le rôle des prédicats complétifs en logique déontique (RI)
- Georges Kalinowski, La genèse d’un système de logique des normes (SI)
- Ulrich Klug, Acerca de la “teoría pura del derecho” y la lógica jurídica (RI)
- Miguel Sánchez-Mazas, Lógica, sistemas normativos y modelos aritméticos (SI)
- Dora Sánchez-García, Evaluación automatica de fórmulas del sistema K1 (RI)