-
85The mental and subjective skin: Emotion, empathy, feelings and thermographyConsciousness and Cognition 34 149-162. 2015.
-
36The interpretation of academic integrity in the universities of Mexico and SpainHuman Review. International Humanities Review / Revista Internacional de Humanidades 17 (2): 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
-
137Equivalence between semantics for intuitionism. IJournal of Symbolic Logic 46 (4): 773-780. 1981.
-
1Libertad religiosa y estado constitucional (Una digresión)Aletheia: Cuadernos Críticos Del Derecho 3 1-16. 2007.
-
83Review: Andrzej Grzegorczyk, Olgierd Wojtasiewicz, Waclaw Zawadowski, An Outline of Mathematical Logic. Fundamental Results and Notions Explained with All Details (review)Journal of Symbolic Logic 48 (1): 220-222. 1983.
-
3Oposición fiscal y reivindicaciones políticas: La revuelta de Peñíscola de 1715Contrastes 3 91-104. 1988.The reorganization of taxation within the territory under the Crown of Aragon, which was undertaken alfter the War of Succession, was performed at a period of economic difficulties and coincided with radical political change. It was therefore not unopposed. The study of the Peñiscola Revolt in 1715 is important for three main reasons: the opposition to taxation which fuelled it; the demands for a retum to the municipal organization of the period of the "fuero"; and the fact that it arose in one …Read more
-
30Review: W. W. Tait, J. N. Crossley, M. A. E. Dummett, Infinitely Long Terms of Transfinite Type (review)Journal of Symbolic Logic 40 (4): 623-624. 1975.
-
19König's lemma, the ω-Rule and primitive recursive arithmeticArchive for Mathematical Logic 25 (1): 67-74. 1985.
-
43Sets, classes and the propositional calculusManuscrito 28 (2): 417-448. 2005.The propositional calculus AoC, “Algebra of Classes”,and the extended propositional calculus EAC, “Extended Algebra ofClasses” are introduced in this paper. They are extensions, by additionalpropositional functions which are not invariant under the biconditional,of the corresponding classical propositional systems. Theirorigin lies in an analysis, motivated by Cantor’s concept of the cardinalnumbers, of A. P. Morse’s impredicative, polysynthetic set theory
-
37Chateaubriand on propositional logicManuscrito 31 (1): 103-113. 2008.In Logical Forms Part II, Chateaubriand begins the Chapter on “Propositional Logic” by considering the reading of the ‘conditional’ by ‘implies’; in fact he states that:There is a confusion, as a matter of fact, and it runs deep, but it is a confusion in propositional logic itself, and the mathematician’s reading is a rather sensible one.After a careful, erudite analysis of various philosophical viewpoints of logic, Chateaubriand comes to the conclusion that:Pure propositional logic, as just cha…Read more
-
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.
-
Definitions: The Primitive Concept of Logics or the Le'sniewski-Tarski Legacy Vol. 401Polska Akademia Nauk, Instytut Matematyczny. 2002.
-
40Variations on A System Of GentzenZeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30): 385-389. 1981.
-
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.
-
130
-
322Implicational logics in natural deduction systemsJournal of Symbolic Logic 47 (1): 184-186. 1982.
-
37Further applications of ultra-conservative ω-rulesArchive for Mathematical Logic 22 (3-4): 89-102. 1980.
-
125Engeler Erwin. Zur Beweistheorie von Sprachen mit unendlich langen Formeln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 213–218 (review)Journal of Symbolic Logic 36 (4): 685-685. 1971.
-
160Barwise Jon and Kunen Kenneth. Hanf numbers for fragments of L∞ω. Israel journal of mathematics, vol. 10 , pp. 306–320Journal of Symbolic Logic 49 (1): 315. 1984.
-
143A second paper "on the interpolation theorem for the logic of constant domains"Journal of Symbolic Logic 48 (3): 595-599. 1983.
-
86The Logic of ClassesLogic Journal of the IGPL 15 (5-6): 689-706. 2007.An extension of the Quantified Propositional Calculus1 obtained by the addition of two binary propositional functions is put forward as an inheritor of E. Schröder's “Algebra der Logik”. The formal system is itself not new, in fact it forms part of A. P. Morse's “A Theory of Sets”; although the latter is considered as a first-order system. Since the additional propositional functions are not invariant under the logical biconditional, this system–and many others naturally obtained from it–give us…Read more
-
108Kenneth Kunen. Implicit definability and infinitary languages. The journal of symbolic logic, vol. 33 , pp. 446–451Journal of Symbolic Logic 35 (2): 341-342. 1970.
-
173Jon Barwise. Infinitary logic and admissible sets. The journal of symbolic logic, vol. 34 , pp. 226–252Journal of Symbolic Logic 36 (1): 156-157. 1971.
-
320Meeting of the association for symbolic logic: Atlanta 1973Journal of Symbolic Logic 39 (2): 390-405. 1974.