-
116Čudnovskiǐ G. V.. Some results in the theory of infinitely long expressions. English translation of XXXVII 215 by Mendelson E.. Soviet mathematics, vol. 9 no. 2 , pp. 556–559Journal of Symbolic Logic 37 (1): 202-203. 1972.
-
40Variations on A System Of GentzenZeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30): 385-389. 1981.
-
48Una aproximación al régimen jurídico de las libertades de expresión y de información en el ordenamiento constitucional españolAnales de la Cátedra Francisco Suárez 34 425-430. 2000.Recensión de Mª. C. Llamazares Calzadilla, Las libertades de expresión e información como garantía del pluralismo democrático, Cívitas, Madrid, 1999.
-
19König's lemma, the ω-Rule and primitive recursive arithmeticArchive for Mathematical Logic 25 (1): 67-74. 1985.
-
1Libertad religiosa y estado constitucional (Una digresión)Aletheia: Cuadernos Críticos Del Derecho 3 1-16. 2007.
-
130Circumscription within monotonic inferencesJournal of Symbolic Logic 53 (3): 888-904. 1988.A conservative extension of first order logic, suitable for circumscriptive inference, is introduced
-
322Implicational logics in natural deduction systemsJournal of Symbolic Logic 47 (1): 184-186. 1982.
-
143A second paper "on the interpolation theorem for the logic of constant domains"Journal of Symbolic Logic 48 (3): 595-599. 1983.
-
145On the interpolation theorem for the logic of constant domainsJournal of Symbolic Logic 46 (1): 87-88. 1981.
-
127Remarks on the church-Rosser propertyJournal of Symbolic Logic 55 (1): 106-112. 1990.A reduction algebra is defined as a set with a collection of partial unary functions (called reduction operators). Motivated by the lambda calculus, the Church-Rosser property is defined for a reduction algebra and a characterization is given for those reduction algebras satisfying CRP and having a measure respecting the reductions. The characterization is used to give (with 20/20 hindsight) a more direct proof of the strong normalization theorem for the impredicative second order intuitionistic…Read more
