Edit Profile (opens in new tab) Smullyan, Raymond Merrill Compute Distance To: Compute Author ID: smullyan.raymond-m Published as: Smullyan, Raymond M.; Smullyan, R. M.; Smullyan, Raymond more...less External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 57 Publications since 1957, including 21 Books 1 Further Contribution Biographic References: 4 Publications Co-Authors: 2 Co-Authors with 2 Joint Publications 34 Co-Co-Authors Co-Authors 55 single-authored 1 Beineke, Jennifer E. 1 Fitting, Melvin Chris 1 Putnam, Hilary Whitehall 1 Rosenhouse, Jason all top 5 Serials 7 The Journal of Symbolic Logic 4 Oxford Logic Guides 3 Proceedings of the American Mathematical Society 3 Studia Logica 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Journal of the Mathematical Society of Japan 1 The Mathematical Intelligencer 1 International Journal of Mathematics and Mathematical Sciences 1 Transactions of the American Mathematical Society 1 Proceedings of the National Academy of Sciences of the United States of America 1 Logic Journal of the IGPL 1 Annals of Mathematics Studies 1 Annals of the New York Academy of Sciences 1 Ergebnisse der Mathematik und ihrer Grenzgebiete all top 5 Fields 36 Mathematical logic and foundations (03-XX) 12 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Group theory and generalizations (20-XX) 1 Computer science (68-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 36 Publications have been cited 538 times in 481 Documents Cited by ▼ Year ▼ First-order logic. Zbl 0172.28901Smullyan, Raymond M. 257 1968 Theory of formal systems. Zbl 0097.24503Smullyan, Raymond M. 85 1961 Monadic elementary formal systems. Zbl 0218.02030Smullyan, R. M. 26 1961 Gödel’s incompleteness theorems. Zbl 0787.03003Smullyan, Raymond M. 19 1992 What is the name of this book? The riddle of Dracula and other logical puzzles. Zbl 0432.00028Smullyan, Raymond M. 18 1978 A unifying principal in quantification theory. Zbl 0118.24901Smullyan, R. M. 17 1963 Set theory and the continuum problem. Zbl 0888.03032Smullyan, Raymond M.; Fitting, Melvin 11 1996 Analytic natural deduction. Zbl 0149.00403Smullyan, R. M. 10 1965 Diagonalization and self-reference. Zbl 0810.03001Smullyan, Raymond M. 10 1994 Languages in which self reference is possible. Zbl 0218.02026Smullyan, R. M. 10 1957 Effectively simple sets. Zbl 0192.05101Smullyan, R. M. 8 1964 Analytic cut. Zbl 0181.00503Smullyan, R. M. 7 1968 Theory of formal systems. (Teoriya formal’nykh sistem). Transl. from the English by N. K. Kosovskij. Transl. ed. and with a preface by N. A. Shanin. Zbl 0529.03014Smullyan, R. M. 6 1981 Trees and nest structures. Zbl 0149.00501Smullyan, R. M. 6 1966 Undecidability and recursive inseparability. Zbl 0099.00901Smullyan, Raymond M. 5 1958 A beginner’s further guide to mathematical logic. Zbl 1370.03002Smullyan, Raymond 4 2017 Exact separation of recursively enumerable sets within theories. Zbl 0118.25201Putnam, H.; Smullyan, R. M. 4 1960 Finite nest structures and propositional logic. Zbl 0149.00601Smullyan, R. M. 3 1966 Recursion theory for metamathematics. Zbl 0796.03003Smullyan, Raymond M. 3 1993 Forever undecided. A puzzle guide to Gödel. Reprint of the orig., publ. 1987 by Alfred A. Knopf Inc., New York. Zbl 0744.03004Smullyan, Raymond 3 1988 Uniform Gentzen systems. Zbl 0197.27305Smullyan, R. M. 3 1968 A unifying principle in quantification theory. Zbl 0199.00703Smullyan, Raymond M. 3 1965 Satan, Cantor, and infinity. And other mind-boggling puzzles. Zbl 0990.00500Smullyan, Raymond 2 1992 Fixed points and self-reference. Zbl 0585.03001Smullyan, Raymond M. 2 1984 Trees and ball games. Zbl 0432.90100Smullyan, Raymond M. 2 1979 On Post’s canonical systems. Zbl 0134.00803Smullyan, R. M. 2 1963 Abstract quantification theory. Zbl 0206.27201Smullyan, R. M. 2 1970 A generalization of intuitionistic and modal logics. Zbl 0268.02017Smullyan, Raymond M. 2 1973 The magic garden of George B and other logic puzzles. Zbl 1432.00003Smullyan, Raymond 1 2015 Reflections. The magic, music and mathematics of Raymond Smullyan. Zbl 1315.01005Smullyan, Raymond 1 2015 Modality and self-reference. Zbl 0581.03010Smullyan, Raymond M. 1 1985 Theories with effectively inseparable nuclei. Zbl 0095.00901Smullyan, Raymond M. 1 1960 Extended canonical systems. Zbl 0101.01105Smullyan, Raymond M. 1 1961 A beginner’s guide to mathematical logic. Zbl 1404.03001Smullyan, Raymond M. 1 2014 The lady or the tiger? (Printsessa ili tigr?). Transl. from the English. (Printsessa ili tigr!) Zbl 0674.00003Smullyan, Raymond 1 1985 On transfinite recursion. Zbl 0309.02066Smullyan, Raymond M. 1 1965 A beginner’s further guide to mathematical logic. Zbl 1370.03002Smullyan, Raymond 4 2017 The magic garden of George B and other logic puzzles. Zbl 1432.00003Smullyan, Raymond 1 2015 Reflections. The magic, music and mathematics of Raymond Smullyan. Zbl 1315.01005Smullyan, Raymond 1 2015 A beginner’s guide to mathematical logic. Zbl 1404.03001Smullyan, Raymond M. 1 2014 Set theory and the continuum problem. Zbl 0888.03032Smullyan, Raymond M.; Fitting, Melvin 11 1996 Diagonalization and self-reference. Zbl 0810.03001Smullyan, Raymond M. 10 1994 Recursion theory for metamathematics. Zbl 0796.03003Smullyan, Raymond M. 3 1993 Gödel’s incompleteness theorems. Zbl 0787.03003Smullyan, Raymond M. 19 1992 Satan, Cantor, and infinity. And other mind-boggling puzzles. Zbl 0990.00500Smullyan, Raymond 2 1992 Forever undecided. A puzzle guide to Gödel. Reprint of the orig., publ. 1987 by Alfred A. Knopf Inc., New York. Zbl 0744.03004Smullyan, Raymond 3 1988 Modality and self-reference. Zbl 0581.03010Smullyan, Raymond M. 1 1985 The lady or the tiger? (Printsessa ili tigr?). Transl. from the English. (Printsessa ili tigr!) Zbl 0674.00003Smullyan, Raymond 1 1985 Fixed points and self-reference. Zbl 0585.03001Smullyan, Raymond M. 2 1984 Theory of formal systems. (Teoriya formal’nykh sistem). Transl. from the English by N. K. Kosovskij. Transl. ed. and with a preface by N. A. Shanin. Zbl 0529.03014Smullyan, R. M. 6 1981 Trees and ball games. Zbl 0432.90100Smullyan, Raymond M. 2 1979 What is the name of this book? The riddle of Dracula and other logical puzzles. Zbl 0432.00028Smullyan, Raymond M. 18 1978 A generalization of intuitionistic and modal logics. Zbl 0268.02017Smullyan, Raymond M. 2 1973 Abstract quantification theory. Zbl 0206.27201Smullyan, R. M. 2 1970 First-order logic. Zbl 0172.28901Smullyan, Raymond M. 257 1968 Analytic cut. Zbl 0181.00503Smullyan, R. M. 7 1968 Uniform Gentzen systems. Zbl 0197.27305Smullyan, R. M. 3 1968 Trees and nest structures. Zbl 0149.00501Smullyan, R. M. 6 1966 Finite nest structures and propositional logic. Zbl 0149.00601Smullyan, R. M. 3 1966 Analytic natural deduction. Zbl 0149.00403Smullyan, R. M. 10 1965 A unifying principle in quantification theory. Zbl 0199.00703Smullyan, Raymond M. 3 1965 On transfinite recursion. Zbl 0309.02066Smullyan, Raymond M. 1 1965 Effectively simple sets. Zbl 0192.05101Smullyan, R. M. 8 1964 A unifying principal in quantification theory. Zbl 0118.24901Smullyan, R. M. 17 1963 On Post’s canonical systems. Zbl 0134.00803Smullyan, R. M. 2 1963 Theory of formal systems. Zbl 0097.24503Smullyan, Raymond M. 85 1961 Monadic elementary formal systems. Zbl 0218.02030Smullyan, R. M. 26 1961 Extended canonical systems. Zbl 0101.01105Smullyan, Raymond M. 1 1961 Exact separation of recursively enumerable sets within theories. Zbl 0118.25201Putnam, H.; Smullyan, R. M. 4 1960 Theories with effectively inseparable nuclei. Zbl 0095.00901Smullyan, Raymond M. 1 1960 Undecidability and recursive inseparability. Zbl 0099.00901Smullyan, Raymond M. 5 1958 Languages in which self reference is possible. Zbl 0218.02026Smullyan, R. M. 10 1957 all cited Publications top 5 cited Publications all top 5 Cited by 570 Authors 9 Fitting, Melvin Chris 7 Smullyan, Raymond Merrill 6 Finger, Marcelo 6 Leszczyńska-Jasion, Dorota 6 Marek, V. Wiktor 5 Brown, Chad Edward 5 Hähnle, Reiner 5 Howson, Colin 5 Meseguer Guaita, José 5 Provotar, A. I. 5 Remmel, Jeffrey Brian 5 Wintein, Stefan 5 Wiśniewski, Andrzej 4 Bimbó, Katalin 4 Bonacina, Maria Paola 4 Dunn, Jon Michael 4 Genot, Emmanuel J. 4 Rönnedal, Daniel 4 Willard, Dan E. 3 Anellis, Irving H. 3 Caferra, Ricardo 3 Calude, Cristian S. 3 Cantone, Domenico 3 Chlebowski, Szymon 3 D’Agostino, Marcello 3 Demri, Stéphane P. 3 Donini, Francesco M. 3 Kinber, Efim B. 3 Lucio-Carrasco, Francisca 3 Marchenkov, Sergeĭ Serafimovich 3 Miller, Dale Allen 3 More, Malika 3 Muskens, Reinhard A. 3 Nicolosi Asmundo, Marianna 3 Pym, David J. 3 Ritter, Eike 3 Shinohara, Takeshi 3 Urquhart, Alasdair 3 Wallen, Lincoln A. 3 Wirth, Claus-Peter 3 Zeugmann, Thomas 2 Alechina, Natasha 2 Allender, Eric W. 2 Antonsen, Roger 2 Arai, Noriko H. 2 Arikawa, Setsuo 2 Arslanov, Marat M. 2 Avron, Arnon 2 Beckert, Bernhard 2 Benzmüller, Christoph Ewald 2 Bickford, Mark 2 Blackburn, Patrick 2 Casanova, Marco Antonio 2 Case, John 2 Cenzer, Douglas 2 Clavel, Manuel 2 Cobreros, Pablo 2 Constable, Robert Lee 2 Cook, Roy T. 2 Damnjanovic, Zlatan 2 Darbinyan, Arman 2 Dixon, Clare 2 Égré, Paul 2 Esbelin, Henri-Alex 2 Formisano, Andrea 2 Freivalds, Rūsiņš Mārtiņš 2 Gabbay, Dov M. 2 Gavilanes-Franco, Antonio 2 Gilmore, Paul C. 2 Gurevich, Yuri 2 Gutiérrez, Raúl 2 Halpern, Joseph Yehuda 2 Hay, Louise 2 Hintikka, Jaakko 2 Hortala-Gonzalez, Maria Teresa 2 Izumi, Masako 2 Jacot, Justine 2 Jacquette, Dale 2 Johansson, Moa 2 Jones, Neil D. 2 Kjos-Hanssen, Bjørn 2 Kohlhase, Michael 2 Komara, Ján 2 Lachlan, Alistair H. 2 Lenzerini, Maurizio 2 Letz, Reinhold 2 Lucas, Salvador 2 Massacci, Fabio 2 Meadows, Toby 2 Mukouchi, Yasuhito 2 Murray, Neil V. 2 Nardi, Daniele 2 Nerode, Anil 2 Pape, Christian 2 Parasyuk, I. N. 2 Parlamento, Franco 2 Pátíková, Zuzana 2 Peltier, Nicolas 2 Pour-El, Marian Boykan 2 Pratt, Vaughan R. ...and 470 more Authors all top 5 Cited in 89 Serials 44 Theoretical Computer Science 36 Studia Logica 28 The Journal of Symbolic Logic 23 Journal of Automated Reasoning 22 Journal of Philosophical Logic 16 Annals of Pure and Applied Logic 11 The Review of Symbolic Logic 10 Journal of Applied Non-Classical Logics 9 Artificial Intelligence 9 Notre Dame Journal of Formal Logic 9 Logica Universalis 8 Information Processing Letters 8 Proceedings of the American Mathematical Society 8 Synthese 8 Transactions of the American Mathematical Society 7 Journal of Computer and System Sciences 7 Information and Computation 7 Journal of Logic, Language and Information 7 Journal of Applied Logic 6 Journal of Soviet Mathematics 6 Annals of Mathematics and Artificial Intelligence 5 Archiv für Mathematische Logik und Grundlagenforschung 5 Fuzzy Sets and Systems 5 History and Philosophy of Logic 5 Journal of Symbolic Computation 5 Cybernetics and Systems Analysis 5 The Bulletin of Symbolic Logic 4 Applied Mathematics and Computation 4 Mathematical Systems Theory 4 International Journal of Intelligent Systems 4 Bulletin of the American Mathematical Society 3 American Mathematical Monthly 3 The Mathematical Intelligencer 3 Algebra and Logic 3 International Journal of Computer & Information Sciences 3 Journal of Computer Science and Technology 3 The Journal of Logic and Algebraic Programming 3 Logic and Logical Philosophy 2 Acta Informatica 2 International Journal of General Systems 2 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 2 Advances in Mathematics 2 Algebra Universalis 2 Rendiconti del Seminario Matematico della Università di Padova 2 Machine Learning 2 Archive for Mathematical Logic 2 Erkenntnis 2 Vestnik Tomskogo Gosudarstvennogo Universiteta. Matematika i Mekhanika 1 Bulletin of the Australian Mathematical Society 1 Computers & Mathematics with Applications 1 Communications on Pure and Applied Mathematics 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 International Journal of Mathematical Education in Science and Technology 1 Mathematical Notes 1 Chaos, Solitons and Fractals 1 Mathematics Magazine 1 Compositio Mathematica 1 Computing 1 Inventiones Mathematicae 1 Mathematical Programming 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Programming and Computer Software 1 Siberian Mathematical Journal 1 Moscow University Computational Mathematics and Cybernetics 1 Mathematical Social Sciences 1 New Generation Computing 1 International Journal of Approximate Reasoning 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Pattern Recognition 1 Bulletin of the American Mathematical Society. New Series 1 Mémoires de la Société Mathématique de France. Nouvelle Série 1 Distributed Computing 1 Computational Complexity 1 Experimental Mathematics 1 Formal Methods in System Design 1 Mathematical Logic Quarterly (MLQ) 1 Mathematical Problems in Engineering 1 Mathematical Communications 1 Theory of Computing Systems 1 Miscelánea Matemática 1 Theory and Practice of Logic Programming 1 Fixed Point Theory and Applications 1 BIT. Nordisk Tidskrift for Informationsbehandling 1 Logical Methods in Computer Science 1 The College Mathematics Journal 1 RAIRO. Theoretical Informatics and Applications 1 Philosophical Studies all top 5 Cited in 27 Fields 359 Mathematical logic and foundations (03-XX) 195 Computer science (68-XX) 18 History and biography (01-XX) 15 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 General and overarching topics; collections (00-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 6 Group theory and generalizations (20-XX) 5 Mathematics education (97-XX) 3 Combinatorics (05-XX) 3 General algebraic systems (08-XX) 3 Number theory (11-XX) 3 Category theory; homological algebra (18-XX) 3 Operations research, mathematical programming (90-XX) 2 General topology (54-XX) 2 Probability theory and stochastic processes (60-XX) 2 Biology and other natural sciences (92-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Integral equations (45-XX) 1 Operator theory (47-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.