Results for 'A. Feys'

1000+ found
Order:
  1.  7
    Un Procédé Maniable de Décision pour la Logique Propositionelle Intuitionniste.H. Arnold Schmidt, A. Mostowski, Arnold Schmidt, A. Tarski & R. Feys - 1960 - Journal of Symbolic Logic 25 (3):286-286.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  63
    Robert Feys. Logique formalisée et raisonnement juridique. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 312–321. - Jan Gregorowicz. L'argument a maiori ad minus et le problème de la logique juridique. Logique et analyse, n.s. vol. 5 , pp. 66–75. - Ch. Perelman. Logique formelle, logique juridique. Logique et analyse, n.s. vol. 3 , pp. 226–230. - Robert Feys and Marie-Thérèse Motte. Logique juridique, systèmes juridiques. Logique et analyse, n.s. vol. 2 , pp. 143–147. - Georges Kalinowski. ‘Interprétation juridique et logique des propositions normatives. Logique et analyse, n.s. vol. 2 , pp. 128–142. [REVIEW]Nicholas A. Vonneuman - 1968 - Journal of Symbolic Logic 33 (1):141-142.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Animals: A History.Peter Adamson & Fey Edwards (eds.) - 2018
    No categories
     
    Export citation  
     
    Bookmark  
  4.  5
    Feys Robert. Nature et possibilités de la logique formalisée. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & C1e, Paris, 1951, pp. 69–80.Feys Robert. La formalisation comme suggestion rigoureuse. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques intemationaux du Centre National de la Recherche Scientifique no. 36, Paris, 1953, pp. 53–58. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):66-66.
  5. Review: Robert Feys, Nature et Possibilites de la Logique Formalisee; Robert Feys, La Formalisation comme Suggestion Rigoureuse. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):66-66.
  6.  3
    The Development of Logical Thought.R. Feys & A. Borgers - 1951 - Journal of Symbolic Logic 16 (1):55-56.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  14
    Feys Robert. A simplified proof of the reduction of all modalities to 42 in S3. Boletin de la Sociedad Matemática Mexicana, vol. 10 nos. 1–2 , pp. 53–57. [REVIEW]William T. Parry - 1955 - Journal of Symbolic Logic 20 (1):66-66.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  38
    A. N. Prior. A note on the logic of obligation. Revue philosophique de Louvain, vol. 54 , pp. 86–87. - Robert Feys. Reply . A note on modal systems, von Wright's M and Lewis's SI. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 4 , pp. 88–89. [REVIEW]Alan Ross Anderson - 1956 - Journal of Symbolic Logic 21 (4):379-379.
  9.  1
    A Philosophy of Mathematics.Robert Feys - 1948 - Journal of Symbolic Logic 13 (4):208-212.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  2
    Feys Robert. A simple notation for relations. Methodos , vol. 1 no. 1 , pp. 79–93.W. V. Quine - 1950 - Journal of Symbolic Logic 15 (1):71-72.
  11.  15
    A. N. Prior. A note on the logic of obligation. Revue philosophique de Louvain, vol. 54 , pp. 86–87. - Robert Feys. Reply . A note on modal systems, von Wright's M and Lewis's SI. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 4 , pp. 88–89. [REVIEW]Alan Ross Anderson - 1956 - Journal of Symbolic Logic 21 (4):379-379.
  12.  7
    Feys R.. De ontwikkeling van het logisch denken . Prepared for publication by A. Borgers. Philosophische bibliotheek. Standaard-Boekhandel, Antwerp; Dekker & van de Vegt, Nijmegen; 1949, 220 pp. [REVIEW]Paul Bernays - 1951 - Journal of Symbolic Logic 16 (1):55-56.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. Review: A. Heyting, Les Fondements des Mathematiques. Intuitionnisme. Theorie de la Demonstration. [REVIEW]Robert Feys - 1958 - Journal of Symbolic Logic 23 (1):33-33.
  14.  58
    ModèLes à variabLes de différentes sortes pour Les logiques modaLes m" ou S 5.Robert Feys - 1960 - Synthese 12 (2/3):182.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  18
    Feys Robert. Logique formalisée moderne et philosophie des sciences. Atti del IX Convegno del Centro di Studi Filosofici tra Professori Universitari Gallarate 1953, Il problema della scienza, Morcelliana, Brescia 1954, pp. 58–60. [REVIEW]Charles A. Baylis - 1957 - Journal of Symbolic Logic 22 (4):400-401.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. Evolution toward Divinity. Teilhard de Chardin and the Hindu Traditions.Beatrice Bruteau, Jan Feys, K. D. Sethna & Robert A. Mcdermott - 1976 - Religious Studies 12 (2):249-251.
     
    Export citation  
     
    Bookmark   1 citation  
  17.  9
    Feys Robert. Logistique. Philosophie , XI Philosophie des sciences—psychologie, publiéo par l'Institu t International de Philosophie, publication entreprise sous les auspices de l'U.N.E.S.C.O., Actuality scientifiques et industrielles 1089, Hermann & Cie, Paris 1950, pp. 17–40. [REVIEW]Charles A. Baylis - 1950 - Journal of Symbolic Logic 15 (3):234-234.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  3
    Feys R.. Les logiques nouvelles des modalités. Revue néoscolastique de philotophie, vol. 40 , pp. 517–553, and vol. 41 , pp. 217–252. [REVIEW]Charles A. Baylis - 1938 - Journal of Symbolic Logic 3 (2):120-120.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  6
    Review: R. Feys, Les Logiques Nouvelles des Modalites. [REVIEW]Charles A. Baylis - 1938 - Journal of Symbolic Logic 3 (3):120-120.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  1
    Review: Robert Feys, Logistique. [REVIEW]Charles A. Baylis - 1950 - Journal of Symbolic Logic 15 (3):234-234.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  13
    Review: Robert Feys, Expression de la Verifiabilite Experimentale dans le Raisonnement Formalise; J.-L. Destouches, J. Porte, E. W. Beth, A. Tarski, P. Bernays, Interventions. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):288-288.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  8
    The Tractatus de Praedestinatione et de Praescientia Dei et de Futuris Contingentibus of William Ockham, Edited with a Study on the Mediaeval Problem of a Three-Valued Logic.Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):90-91.
  23. 9. Cap., Taking Seriously Our Bodily Being.O. William Fey - 2001 - Logos: A Journal of Catholic Thought and Culture 4 (4).
     
    Export citation  
     
    Bookmark  
  24. Review: Robert Feys, A Simple Notation for Relations. [REVIEW]W. V. Quine - 1950 - Journal of Symbolic Logic 15 (1):71-72.
  25.  23
    Axiom Schemes for M-Valued Propositional Calculi.Robert Feys, J. B. Rosser & A. R. Turquette - 1946 - Journal of Symbolic Logic 11 (3):86.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  13
    Lloyd A. C.. The logical form of law statements. Mind, n.s. vol. 64 , pp 312–318.Robert Feys - 1957 - Journal of Symbolic Logic 22 (1):92-92.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  13
    Review: A. C. Lloyd, The Logical form of Law Statements. [REVIEW]Robert Feys - 1957 - Journal of Symbolic Logic 22 (1):92-92.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  10
    H. A. Weersma. Bezwaren tegen H. Scholz' Metaphysik als strenge Wissenschaft Algemeen Nederlands tijdschrift voor wijsbegeerte en psychologie, vol. 39 , pp. 151–158. [REVIEW]Robert Feys - 1949 - Journal of Symbolic Logic 14 (1):62-62.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  9
    Heyting A.. Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Collection de logique mathématique, ser. A no. 9. Dactyloffset. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1955, title pages + 91 pp. [REVIEW]Robert Feys - 1958 - Journal of Symbolic Logic 23 (1):33-33.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  8
    A. N. Whitehead. Indication, classes, numbers, validation. Essays in science and philosophy, by A. N. Whitehead, Rider and Company, London1948, pp. 227–240. [REVIEW]Robert Feys - 1950 - Journal of Symbolic Logic 15 (2):157-157.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  7
    H. A. Weersma. Bezwaren tegen H. Scholz' Metaphysik als strenge Wissenschaft Algemeen Nederlands tijdschrift voor wijsbegeerte en psychologie, vol. 39 , pp. 151–158. [REVIEW]Robert Feys - 1949 - Journal of Symbolic Logic 14 (1):62-62.
  32. Review: Robert Feys, Logique Formalisee Moderne et Philosophie des Sciences. [REVIEW]Charles A. Baylis - 1957 - Journal of Symbolic Logic 22 (4):400-401.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  4
    A Simplified Proof of the Reduction of all Modalities to 42 in S3.Robert Feys - 1955 - Journal of Symbolic Logic 20 (1):66-66.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  12
    Review: R. Feys, A. Borgers, The Development of Logical Thought. [REVIEW]Paul Bernays - 1951 - Journal of Symbolic Logic 16 (1):55-56.
  35.  1
    A philosophy of mathematics. Louis O. Kattsoff. A philosophy of mathematics. The Iowa State College Press, Ames, Iowa, 1948, ix + 266 pp. [REVIEW]Robert Feys - 1948 - Journal of Symbolic Logic 13 (4):208-212.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  1
    A Simple Notation for Relations.Robert Feys - 1950 - Journal of Symbolic Logic 15 (1):71-72.
  37.  15
    Gestures of the abstract.Fey Parrill & Kashmiri Stec - 2017 - Pragmatics and Cognition 24 (1):33-61.
    Speakers perform manual gestures in the physical space nearest them, called gesture space. We used a controlled elicitation task to explore whether speakers use gesture space in a consistent way and whether they use space in a contrastive way when talking about abstract referents. Participants answered two questions designed to elicit contrastive, abstract discourse. We investigated manual gesture behavior. Gesture hand, location on the horizontal axis, and referent in corresponding speech were coded. We also coded contrast in speech. Participants’ overall (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Review: Louis O. Kattsoff, A Philosophy of Mathematics. [REVIEW]Robert Feys - 1948 - Journal of Symbolic Logic 13 (4):208-212.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  20
    Moisil GR. C.. Contributions á I'etude des logiques non-chrysippiennes. I. Un nouveau systeme d'axiomes pour les algébres lukasiewicziennes letra-valentes. Compies rendus des séances de l'Académie des Sciences de Roumanie, t. 5 , pp. 289–293. [REVIEW]Robert Feys - 1948 - Journal of Symbolic Logic 13 (3):160-160.
  40.  7
    Entrainment and Synchronization to Auditory Stimuli During Walking in Healthy and Neurological Populations: A Methodological Systematic Review.Lousin Moumdjian, Jeska Buhmann, Iris Willems, Peter Feys & Marc Leman - 2018 - Frontiers in Human Neuroscience 12.
  41.  26
    Haskell B. Curry. Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik. Archiv für Philosophie, vol. 4 no. 2 , pp. 147–156. - Haskell B. Curry. L-semantics as a formal system. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 19–29. - Haskell B. Curry. On the definition of substitution, replacement and allied notions in an abstract formal system. Revue philosophique de Louvain, vol. 50 , pp. 251–269. - Haskell B. Curry. Mathematics, syntactics and logic. Mind, n. s. vol. 62 , pp. 172–183. - Haskell B. Curry. Les systèmes formels et les langues. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 1–9. - Paul Bernays, L. E. J. Brouwer, Haskell B. Curry, A. Heyting, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques i. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
  42.  10
    Review: Konstanty Michalski, Le Probleme de la Volonte a Oxford et a Paris au XIV$^e$ Siecle. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):91-91.
  43.  24
    Negative Influence of Motor Impairments on Upper Limb Movement Patterns in Children with Unilateral Cerebral Palsy. A Statistical Parametric Mapping Study.Cristina Simon-Martinez, Ellen Jaspers, Lisa Mailleux, Kaat Desloovere, Jos Vanrenterghem, Els Ortibus, Guy Molenaers, Hilde Feys & Katrijn Klingels - 2017 - Frontiers in Human Neuroscience 11.
  44.  8
    Boehner Phtlotheus. The Tractatus de praedestinatione et de praescientia Dei et defuturis contingentibus of William Ockham, edited with a study on the mediaeval problem of a three-valued logic. Franciscan Institute publications, no. 2. The Franciscan Institute, St. Bonaventure College, St. Bonaventure, N. Y., 1945, XI + 139 pp. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):90-91.
  45.  10
    Review: Philotheus Boehner, The Tractatus de Praedestinatione et de Praescientia Dei et de Futuris Contingentibus of William Ockham, Edited with a Study on the Mediaeval Problem of a Three-Valued Logic. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):90-91.
  46.  5
    Rosser J. B. et Turquette A. R.. Axiom schemes for m-valued propositional calculi. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):86-89.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  4
    Michalski Konstanty. Le problème de la volonté à Oxford et à Paris au XIVe siècle. Studia philosophica, t. 2 , pp. 233–365. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):91-91.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  2
    Review: H. Arnold Schmidt, Un Procede Maniable de Decision pour la Logique Propositionelle Intuitionniste; A. Mostowski, Arnold Schmidt, A. Tarski, R. Feys, Interventions. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):286-286.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  14
    Boekbesprekingen. [REVIEW]J. De Fraine, O. Vercruysse, I. de la Potterie, P. Smulders, J. Rupert, P. Fransen, P. Grootens, P. van Doornik, J. Van Torre, A. van Kol, A. Snoeck, M. Dykmans, J. Mulders, H. Smets, H. Jans, M. Dierickx, A. Feys, J. Houben, J. Nota, H. Geurtsen, L. Vander Kerken, F. Bertiau, P. Roberts, De Tollenaere, M. De Tollenaere, A. Poncelet, F. De Raedemaeker, H. Verbeek, R. Hostie & G. Zaat - 1956 - Bijdragen 17 (4):437-464.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  32
    Gentzen Gerhard. Recherches sur la déduction logique. French translation of 4422 by Ladrière Jean, with added footnotes by the translator. Presses Universitaires de France, Paris 1955, XI + 170 pp.Feys Robert. Préface. Therein, pp. VII–XI.Feys Robert. Note A. Les méthodes de déduction naturelle. Therein, pp. 1–2.Feys Robert. Note B. Notation explicite des suppositions. Therein, pp. 29–34.Feys Robert. Note C. Méthodes N de Jaśkowski, Bernays et Johannson. Therein pp. 35–39.Feys Robert. Note D. Variantes des calculs LK et LJ. Therein, pp. 77–83.Ladrière Jean. Note E. Un calcul “MK” analogue au calcul NK. Therein, pp. 84–89.Feys Robert. Note F. Signification des séquences et des schémas de structure. Therein, pp. 90–92.Ladriére Jean. Note G. Les schémas de coupure et de fusion de séquences. Therein, pp. 93–97.Ladriére Jean. Note H. Tableau de la démonstration du théorème fondamental. Therein, pp. 98–100.Ladriére Jean. Note I. Marche de la démonstration du théorème fondamental. Therein, pp. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000