Truth-value semantics and functional extensions for classical logic of partial terms based on equality

We develop a bottom-up approach to truth-value semantics for classical logic of partial terms based on equality and apply it to prove the conservativity of the addition of partial description and partial selection functions, independently of any strictness assumption.Comment: 15 pages, to appear in the Notre Dame Journal of Formal Logi

Direct Elections to the European Parliament: community legislation and national laws

The 10 June 1987 the first European elections by direct universal suffrage will take place in SpainEl 10 de junio de 1987 España participará por primera vez en las elecciones europea

Decisión Nº1855/2006/CE del Parlamento Europeo y del Consejo de 12 de diciembre de 2006, por la que se establece el programa Cultura (2007-2013)

Por la presente Decisión se establece el programa Cultura, un programa plurianual único para las acciones comunitarias en el ámbito de la cultura, abierto a todos los sectores culturales y a todas las categorías de operadores culturales, denominado en lo sucesivo el «Programa»

Directiva 2001/29/CE del Parlamento Europeo y del Consejo de 22 de mayo de 2001 relativa a la armonización de determinados aspectos de los derechos de autor y derechos afines a los derechos de autor en la sociedad de la información

Parlamento Europeo y Consejo de la Unión Europe

Decisión Nº 854/2005/CE del Parlamento Europeo y del Consejo de 11 de mayo de 2005 por la que se crea un programa comunitario plurianual para el fomento de un uso más seguro de Internet y las nuevas tecnologías en línea

La presente Decisión crea un programa comunitario para el período 2005-2008, dirigido a fomentar un uso más seguro de Internet y las nuevas tecnologías en línea, en especial para los niños, y a luchar contra los contenidos ilícitos y no deseados por el usuario final

Directiva 2006/115/CE del Parlamento Europeo y del Consejo de 12 de diciembre de 2006, sobre derechos de alquiler y préstamo y otros derechos afines a los derechos de autor en el ámbito de la propiedad intelectual (versión codificada)

La Directiva 92/100/CEE del Consejo de 19 de noviembre de 1992 sobre derechos de alquiler y préstamo y otros derechos afines a los derechos de autor en el ámbito de la propiedad intelectual, ha sido modificada en diversas ocasiones y de forma sustancial. Conviene, en aras de una mayor racionalidad y claridad, proceder a la codificación de dicha Directiva. El alquiler y préstamo de obras amparadas por los derechos de autor y objetos protegidos por derechos afines tienen cada vez más importancia, en particular para los autores, artistas, intérpretes y ejecutantes y productores de fonogramas y películas