-
6Una 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.
-
46The mental and subjective skin: Emotion, empathy, feelings and thermographyConsciousness and Cognition 34 149-162. 2015.
-
21Variations on A System Of GentzenZeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30): 385-389. 1981.
-
18Č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–559 (review)Journal of Symbolic Logic 37 (1): 202-203. 1972.
-
14Keisler H. Jerome. Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Studies in logic and the foundations of mathematics, vol. 62, North-Holland Publishing Company, Amsterdam and London 1971, x + 208 pp (review)Journal of Symbolic Logic 38 (3): 522-523. 1973.
-
58
-
198Implicational logics in natural deduction systemsJournal of Symbolic Logic 47 (1): 184-186. 1982.
-
3Further applications of ultra-conservative ω-rulesArchive for Mathematical Logic 22 (3-4): 89-102. 1980.
-
18Engeler 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.
-
32Equivalence between semantics for intuitionism. IJournal of Symbolic Logic 46 (4): 773-780. 1981.
-
7Barwise 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.
-
21A second paper "on the interpolation theorem for the logic of constant domains"Journal of Symbolic Logic 48 (3): 595-599. 1983.
-
9The 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
-
20Kenneth Kunen. Implicit definability and infinitary languages. The journal of symbolic logic, vol. 33 , pp. 446–451Journal of Symbolic Logic 35 (2): 341-342. 1970.
-
35Jon Barwise. Infinitary logic and admissible sets. The journal of symbolic logic, vol. 34 , pp. 226–252Journal of Symbolic Logic 36 (1): 156-157. 1971.
-
204Meeting of the association for symbolic logic: Atlanta 1973Journal of Symbolic Logic 39 (2): 390-405. 1974.
-
37W. 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–185 (review)Journal of Symbolic Logic 40 (4): 623-624. 1975.
-
24Wilbur John WalkoeJr., Finite partially-ordered quantification. The journal of symbolic logic, vol. 35 , pp. 535–555Journal of Symbolic Logic 40 (2): 239-240. 1975.
-
28Remarks 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
-
28On the interpolation theorem for the logic of constant domainsJournal of Symbolic Logic 46 (1): 87-88. 1981.
-
18David 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.
-
15Circumscription within monotonic inferencesJournal of Symbolic Logic 53 (3): 888-904. 1988.A conservative extension of first order logic, suitable for circumscriptive inference, is introduced
-
20Andrzej 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.
-
42Remarks on an infinitary language with constructive formulasJournal of Symbolic Logic 32 (3): 305-318. 1967.
-
12Richard A. Platek. Eliminating the continuum hypothesis. The journal of symbolic logic, vol. 34 , pp. 219–225Journal of Symbolic Logic 36 (1): 166. 1971.
-
25Michael 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.