Order: Listing date First author Impact Pub year Relevance Downloads
Order
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. details
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. details
Animals: A History. Peter Adamson & Fey Edwards (eds.) - 2018 details
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. details
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. details
The Development of Logical Thought. R. Feys & A. Borgers - 1951 - Journal of Symbolic Logic 16 (1):55-56. details
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. details
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. details
A Philosophy of Mathematics. Robert Feys - 1948 - Journal of Symbolic Logic 13 (4):208-212. details
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. details
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. details
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. details
Review: A. Heyting, Les Fondements des Mathematiques. Intuitionnisme. Theorie de la Demonstration. [REVIEW] Robert Feys - 1958 - Journal of Symbolic Logic 23 (1):33-33. details
ModèLes à variabLes de différentes sortes pour Les logiques modaLes m" ou S 5. Robert Feys - 1960 - Synthese 12 (2/3):182. details
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. details
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. details
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. details
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. details
Review: R. Feys , Les Logiques Nouvelles des Modalites. [REVIEW] Charles A. Baylis - 1938 - Journal of Symbolic Logic 3 (3):120-120. details
Review: Robert Feys , Logistique. [REVIEW] Charles A. Baylis - 1950 - Journal of Symbolic Logic 15 (3):234-234. details
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. details
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. details
9. Cap., Taking Seriously Our Bodily Being. O. William Fey - 2001 - Logos: A Journal of Catholic Thought and Culture 4 (4). details
Review: Robert Feys , A Simple Notation for Relations. [REVIEW] W. V. Quine - 1950 - Journal of Symbolic Logic 15 (1):71-72. details
Axiom Schemes for M-Valued Propositional Calculi. Robert Feys , J. B. Rosser & A. R. Turquette - 1946 - Journal of Symbolic Logic 11 (3):86. details
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. details
Review: A. C. Lloyd, The Logical form of Law Statements. [REVIEW] Robert Feys - 1957 - Journal of Symbolic Logic 22 (1):92-92. details
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. details
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. details
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. details
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. details
Review: Robert Feys , Logique Formalisee Moderne et Philosophie des Sciences. [REVIEW] Charles A. Baylis - 1957 - Journal of Symbolic Logic 22 (4):400-401. details
A Simplified Proof of the Reduction of all Modalities to 42 in S3. Robert Feys - 1955 - Journal of Symbolic Logic 20 (1):66-66. details
Review: R. Feys , A. Borgers, The Development of Logical Thought. [REVIEW] Paul Bernays - 1951 - Journal of Symbolic Logic 16 (1):55-56. details
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. details
A Simple Notation for Relations. Robert Feys - 1950 - Journal of Symbolic Logic 15 (1):71-72. details
Gestures of the abstract. Fey Parrill & Kashmiri Stec - 2017 - Pragmatics and Cognition 24 (1):33-61. details
Review: Louis O. Kattsoff, A Philosophy of Mathematics. [REVIEW] Robert Feys - 1948 - Journal of Symbolic Logic 13 (4):208-212. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed