-
103W. W. Tait. Infinitely long terms of transfinite type. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 176–185Journal of Symbolic Logic 40 (4): 623-624. 1975.
-
89Wilbur John WalkoeJr., Finite partially-ordered quantification. The journal of symbolic logic, vol. 35 , pp. 535–555Journal of Symbolic Logic 40 (2): 239-240. 1975.
-
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
-
145On the interpolation theorem for the logic of constant domainsJournal of Symbolic Logic 46 (1): 87-88. 1981.
-
152David W. Kueker. Generalized interpolation and definability. Annals of mathematical logic, vol. 1 no. 4 , pp. 423–468Journal of Symbolic Logic 39 (2): 337-338. 1974.
-
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
-
46Andrzej Grzegorczyk. An outline of mathematical logic. Fundamental results and notions explained with all details. English translation by Olgierd Wojtasiewicz and Wacław Zawadowski of the second edition of Zarys logiki matematycznej. Synthese library, vol. 70. D. Reidel Publishing Company, Dordrecht and Boston, and PWN—Polish Scientific Publishers, Warsaw, 1974, X + 596 pp (review)Journal of Symbolic Logic 48 (1): 220-222. 1983.
-
171Remarks on an infinitary language with constructive formulasJournal of Symbolic Logic 32 (3): 305-318. 1967.
-
146Richard A. Platek. Eliminating the continuum hypothesis. The journal of symbolic logic, vol. 34 , pp. 219–225Journal of Symbolic Logic 36 (1): 166. 1971.
-
82Michael Morley. Omitting classes of elements. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 265–273 (review)Journal of Symbolic Logic 33 (2): 286-287. 1968.
-
88E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language L αβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388 (review)Journal of Symbolic Logic 34 (2): 301-302. 1969.
-
48A Complete, Infinitary Axiomatization of Weak Second-Order LogicJournal of Symbolic Logic 35 (3): 467-467. 1970.
-
67Interpretación de la integridad académica en las universidades de México y EspañaHuman Review. International Humanities Review / Revista Internacional de Humanidades 12 (3): 1-9. 2023.Los centros de educación superior son por definición espacios de generación de conocimiento, derivado de ello se vincula la aplicación de los valores primordiales que rigen el desarrollo académico y científico. Entre estos valores subyacen tales como honestidad, justicia, respeto, responsabilidad y confianza. Existen múltiples interpretaciones de integridad académica, este estudio se promueve el cual abarca todos los elementos mencionados como valores básicos del desarrollo social y universitari…Read more
