• Dos lagunas en la carta "Progresso Mihi" de Vives a Erasmo
    Salmanticensis 18 (2-3): 377-384. 1971.
  • López Medel, J., El derecho, forma dinámica de la vida social (review)
    Anales de la Cátedra Francisco Suárez 4 (2). 1964.
  •  9
    Virgitnité et Mariage selon Origène
    Augustinianum 4 (1): 211-211. 1964.
  • Unifying the Philosophy of Truth. (edited book)
    with Achourioti Dora and Galinon Henri
    Springer. forthcoming.
  • La Fundación Xavier Zubiri
    with Antonio González
    Paideia 27 (76): 345-357. 2006.
  •  7
    Ŷābir b. Aflaḥ al-Išbīlī, conocido como Geber filius Afflay Hispalensis en la Europa medieval, fue un matemático y astrónomo teórico que probablemente floreció en Sevilla durante el primer cuarto del s. XII. Ŷābir b. Aflaḥ es un astrónomo medieval importante gracias a su obra principal, IIṣlāḥ al-Maŷisṭī, traducida al latín y al hebreo. Con el IIṣlāḥ al-Maŷisṭī, su autor pretende reescribir el Almagesto a la vez que introduce algunas correcciones. En 1984, A.I. Sabra, en su importante artículo «…Read more
  • El acto de escribir con sentido
    Paideia 22 (56): 303-314. 2001.
  •  6
    Satisfiability Testing for Boolean Formulas Using Δ-Trees
    with G. Gutiérrez, I. P. De Guzmán, M. Ojeda-Aciego, and A. Valverde
    Studia Logica 72 (1). 2002.
    The tree-based data structure of △-tree for propositional formulas is introduced in an improved and optimised form. The △-trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the si…Read more
  •  34
    Satisfiability testing for Boolean formulas using δ-trees
    with G. Gutiérrez, I. P. de Guzmán, M. Ojeda-Aciego, and A. Valverde
    Studia Logica 72 (1). 2002.
    The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size…Read more
  • Le radici dell’arte
    Studi di Estetica 42 15-36. 2010.
  •  9
    Santayana, arqueólogo de la pasión
    Teorema: International Journal of Philosophy 21 (1): 261-263. 2002.