Edit Profile Smullyan, Raymond Merrill Compute Distance To: Compute Author ID: smullyan.raymond-m Published as: Smullyan, Raymond M.; Smullyan, Raymond; Smullyan, R. M. External Links: IdRef · MGP · Wikidata · dblp · GND · MacTutor Documents Indexed: 56 Publications since 1957, including 20 Books Biographic References: 4 Publications Co-Authors 54 single-authored 1 Fitting, Melvin Chris 1 Putnam, Hilary Whitehall 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 35 Mathematical logic and foundations (03-XX) 11 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 504 times in 451 Documents Cited by ▼ Year ▼ First-order logic. Zbl 0172.28901Smullyan, Raymond M. 242 1968 Theory of formal systems. Zbl 0097.24503Smullyan, Raymond M. 83 1961 Monadic elementary formal systems. Zbl 0218.02030Smullyan, R. M. 26 1961 A unifying principal in quantification theory. Zbl 0118.24901Smullyan, R. M. 17 1963 What is the name of this book? The riddle of Dracula and other logical puzzles. Zbl 0432.00028Smullyan, Raymond M. 15 1978 Gödel’s incompleteness theorems. Zbl 0787.03003Smullyan, Raymond M. 15 1992 Set theory and the continuum problem. Zbl 0888.03032Smullyan, Raymond M.; Fitting, Melvin 10 1996 Analytic natural deduction. Zbl 0149.00403Smullyan, R. M. 10 1965 Diagonalization and self-reference. Zbl 0810.03001Smullyan, Raymond M. 9 1994 Languages in which self reference is possible. Zbl 0218.02026Smullyan, R. M. 8 1957 Effectively simple sets. Zbl 0192.05101Smullyan, R. M. 7 1964 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 Analytic cut. Zbl 0181.00503Smullyan, R. M. 6 1968 Trees and nest structures. Zbl 0149.00501Smullyan, R. M. 6 1966 A beginner’s further guide to mathematical logic. Zbl 1370.03002Smullyan, Raymond 4 2017 Undecidability and recursive inseparability. Zbl 0099.00901Smullyan, Raymond M. 4 1958 Recursion theory for metamathematics. Zbl 0796.03003Smullyan, Raymond M. 3 1993 Uniform Gentzen systems. Zbl 0197.27305Smullyan, R. M. 3 1968 A unifying principle in quantification theory. Zbl 0199.00703Smullyan, Raymond M. 3 1965 Exact separation of recursively enumerable sets within theories. Zbl 0118.25201Putnam, H.; Smullyan, R. M. 3 1960 Finite nest structures and propositional logic. Zbl 0149.00601Smullyan, R. M. 3 1966 Trees and ball games. Zbl 0432.90100Smullyan, Raymond M. 2 1979 Fixed points and self-reference. Zbl 0585.03001Smullyan, Raymond M. 2 1984 A generalization of intuitionistic and modal logics. Zbl 0268.02017Smullyan, Raymond M. 2 1973 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 2 1988 Abstract quantification theory. Zbl 0206.27201Smullyan, R. M. 2 1970 On Post’s canonical systems. Zbl 0134.00803Smullyan, R. M. 2 1963 A beginner’s guide to mathematical logic. Zbl 1404.03001Smullyan, Raymond M. 1 2014 Satan, Cantor, and infinity. And other mind-boggling puzzles. Zbl 0990.00500Smullyan, Raymond 1 1992 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 On transfinite recursion. Zbl 0309.02066Smullyan, Raymond M. 1 1965 The lady or the tiger? (Printsessa ili tigr?). Transl. from the English. (Printsessa ili tigr!) Zbl 0674.00003Smullyan, Raymond 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 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 10 1996 Diagonalization and self-reference. Zbl 0810.03001Smullyan, Raymond M. 9 1994 Recursion theory for metamathematics. Zbl 0796.03003Smullyan, Raymond M. 3 1993 Gödel’s incompleteness theorems. Zbl 0787.03003Smullyan, Raymond M. 15 1992 Satan, Cantor, and infinity. And other mind-boggling puzzles. Zbl 0990.00500Smullyan, Raymond 1 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 2 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. 15 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. 242 1968 Analytic cut. Zbl 0181.00503Smullyan, R. M. 6 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. 7 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. 83 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. 3 1960 Theories with effectively inseparable nuclei. Zbl 0095.00901Smullyan, Raymond M. 1 1960 Undecidability and recursive inseparability. Zbl 0099.00901Smullyan, Raymond M. 4 1958 Languages in which self reference is possible. Zbl 0218.02026Smullyan, R. M. 8 1957 all cited Publications top 5 cited Publications all top 5 Cited by 526 Authors 9 Fitting, Melvin Chris 7 Smullyan, Raymond Merrill 6 Finger, Marcelo 6 Marek, V. Wiktor 5 Brown, Chad Edward 5 Hähnle, Reiner 5 Howson, Colin 5 Leszczyńska-Jasion, Dorota 5 Meseguer Guaita, José 5 Provotar, A. I. 5 Remmel, Jeffrey B. 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 D’Agostino, Marcello 3 Demri, Stéphane P. 3 Donini, Francesco M. 3 Kinber, Efim B. 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 Casanova, Marco Antonio 2 Case, John 2 Cenzer, Douglas 2 Chlebowski, Szymon 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 Gilmore, Paul C. 2 Gurevich, Yuri 2 Gutiérrez, Raúl 2 Halpern, Joseph Yehuda 2 Hay, Louise 2 Hortala-Gonzalez, Maria Teresa 2 Izumi, Masako 2 Jacot, Justine 2 Jacquette, Dale 2 Johansson, Moa 2 Jones, Neil D. 2 Kohlhase, Michael 2 Lachlan, Alistair H. 2 Lenzerini, Maurizio 2 Letz, Reinhold 2 Lucas, Salvador 2 Lucio-Carrasco, Francisca 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. 2 Read, Stephen 2 Rodríguez-Artalejo, Mario 2 Rosenthal, Erik J. 2 Shavrukov, V. Yu. 2 Smolka, Gert ...and 426 more Authors all top 5 Cited in 85 Serials 44 Theoretical Computer Science 35 Studia Logica 27 The Journal of Symbolic Logic 21 Journal of Philosophical Logic 21 Journal of Automated Reasoning 16 Annals of Pure and Applied Logic 10 Journal of Applied Non-Classical Logics 9 Notre Dame Journal of Formal Logic 9 Logica Universalis 9 The Review of Symbolic Logic 8 Artificial Intelligence 8 Proceedings of the American Mathematical Society 8 Synthese 8 Transactions of the American Mathematical Society 7 Information Processing Letters 7 Journal of Computer and System Sciences 7 Journal of Logic, Language and Information 7 Journal of Applied Logic 6 Journal of Soviet Mathematics 6 Information and Computation 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 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 Applied Mathematics and Computation 3 International Journal of Computer & Information Sciences 3 Journal of Computer Science and Technology 3 The Journal of Logic and Algebraic Programming 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 Erkenntnis 2 Logic and Logical Philosophy 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 Machine Learning 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 Theory and Practice of Logic Programming 1 Fixed Point Theory and Applications 1 BIT. Nordisk Tidskrift for Informationsbehandling 1 The College Mathematics Journal 1 RAIRO. Theoretical Informatics and Applications 1 Philosophical Studies all top 5 Cited in 27 Fields 339 Mathematical logic and foundations (03-XX) 178 Computer science (68-XX) 18 History and biography (01-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 General and overarching topics; collections (00-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 6 Group theory and generalizations (20-XX) 4 Mathematics education (97-XX) 3 Combinatorics (05-XX) 3 General algebraic systems (08-XX) 3 Number theory (11-XX) 3 Probability theory and stochastic processes (60-XX) 3 Operations research, mathematical programming (90-XX) 2 Category theory; homological algebra (18-XX) 2 General topology (54-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 Biology and other natural sciences (92-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.