Monografia
| 9753 | DJ.201 |
INTERNATIONAL CONFERENCE ON LOGIC, INFORMATICS, LAW, Florence, 1981
Deontic logic, computational linguistics and legal information systems / ed. lit. Antonio A. Martino.- Amsterdam : North-Holland, 1982.- 2.v.,XLI,518p. ; 23cm
O 1. v. possui a cota DJ.9752/200
ISBN 0-444-86415-6 : COMPRA
LOGICA E DIREITO, SISTEMA JURIDICO, COLOQUIOS, CONFERENCIAS, CONGRESSOS, ETC., THESAURUS, MODELO ARITMETICO, INFORMATICA JURIDICA, ADMINISTRAÇÃO DA JUSTIÇA, TRATAMENTO DA INFORMAÇÃO JURIDICA, STAIRS
Abordagem logica - normas, verdade e logica; estrutura logica dos sistemas juridicos: nova perspectiva; derrogações de normas e caracter resoluvel das normas juridicas; ordem normativa e derrogação; tempo e validade; autonomias e incompatibilidades nas linguagens normativas. Errata juridica; antinomias e categorias nos sistemas normativos. Abordagem Matematica - traduções algebricas e aritmeticas de sistemas normativos e aplicações a informatica juridica; introdução do comentario do modelo de Sanchez-Mazas. Versão modificada de um modelo aritmetico de Sanchez-Mazas. Experiencias sobre o modelo de Sanchez-Mazas. A linguagem matematica no direito. Linguistica Informatizada - thesauri juridicos e processamento de dados; thesauri juridicos; logica, linguistica e thesauri juridicos; um metodo de construção automatica de familias de palavras; utensilio linguistico para a recuperação de dados juridicos; modelo para um campo semantico juridico; para uma linguagem normalizada com vista a clarificar a estrutura do discurso juridico. Aplicações - modelos operativos para sistemas juridicos; processamento de dados electronico e modernização operacional da administração da Justiça;