Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

El artículo afirma que en la obra El Jaul de Max Jiménez se plantea que el rasgo más característico de los hombres y las mujeres que conforman la patria costarricense es la bestialidad que se manifiesta, de modo particular, contra los animales. En consecuencia, el inusual bestiario de Jiménez disputa el carácter apacible y benévolo de la relación entre animales y humanos que sería un rasgo fundamental del “más puro linaje nacional”.

El artículo presenta y discute dos recepciones contemporáneas de la idea de animal. En primer lugar, me ocupo de la concepción del animal como posible o efectivo adversario del ser humano. En seguida, trato con la idea según la cual los animales sintientes deben ser tratados, tanto afectiva como jurídicamente, como compañeros de los seres humanos. A partir de la consideración de las dos posiciones mencionadas planteo que, pese a sus diferencias, ambas están vinculadas por una metafísica de las capacidades (...) personales desde la que se ofrece a los animales un nombre, una proveniencia y un fin. (shrink)

El miedo, originario y transversal, no está repartido de forma uniforme, como tampoco lo está la fuerza que es capaz de dar sentido, o sea dirección y significado, a los vivientes y las cosas. De modo que, desde el punto de vista político – que aquí tendremos que caracterizar – el incremento y la representación de la fuerza multitudinaria es un factor que puede contribuir a la paz. Mientras las mayorías no se vinculen, organicen y expresen sus proyectos comunes serán (...) siempre “masas” que deben ser gobernadas, usualmente con violencia. Hobbes lo dice de modo explícito cuando al ofrecer las razones por las cuales ha escrito De Cive señala que con su proyecto quiere evitar que hombres ambiciosos abusen de la sangre de los muchos para aumentar su poder personal. (shrink)