×

zbMATH — the first resource for mathematics

Smullyan, Raymond Merrill

Compute Distance To:
Author ID: smullyan.raymond-m Recent zbMATH articles by "Smullyan, Raymond Merrill"
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

Publications by Year

Citations contained in zbMATH Open

36 Publications have been cited 504 times in 451 Documents Cited by Year
First-order logic. Zbl 0172.28901
Smullyan, Raymond M.
242
1968
Theory of formal systems. Zbl 0097.24503
Smullyan, Raymond M.
83
1961
Monadic elementary formal systems. Zbl 0218.02030
Smullyan, R. M.
26
1961
A unifying principal in quantification theory. Zbl 0118.24901
Smullyan, R. M.
17
1963
What is the name of this book? The riddle of Dracula and other logical puzzles. Zbl 0432.00028
Smullyan, Raymond M.
15
1978
Gödel’s incompleteness theorems. Zbl 0787.03003
Smullyan, Raymond M.
15
1992
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
10
1996
Analytic natural deduction. Zbl 0149.00403
Smullyan, R. M.
10
1965
Diagonalization and self-reference. Zbl 0810.03001
Smullyan, Raymond M.
9
1994
Languages in which self reference is possible. Zbl 0218.02026
Smullyan, R. M.
8
1957
Effectively simple sets. Zbl 0192.05101
Smullyan, 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.03014
Smullyan, R. M.
6
1981
Analytic cut. Zbl 0181.00503
Smullyan, R. M.
6
1968
Trees and nest structures. Zbl 0149.00501
Smullyan, R. M.
6
1966
A beginner’s further guide to mathematical logic. Zbl 1370.03002
Smullyan, Raymond
4
2017
Undecidability and recursive inseparability. Zbl 0099.00901
Smullyan, Raymond M.
4
1958
Recursion theory for metamathematics. Zbl 0796.03003
Smullyan, Raymond M.
3
1993
Uniform Gentzen systems. Zbl 0197.27305
Smullyan, R. M.
3
1968
A unifying principle in quantification theory. Zbl 0199.00703
Smullyan, Raymond M.
3
1965
Exact separation of recursively enumerable sets within theories. Zbl 0118.25201
Putnam, H.; Smullyan, R. M.
3
1960
Finite nest structures and propositional logic. Zbl 0149.00601
Smullyan, R. M.
3
1966
Trees and ball games. Zbl 0432.90100
Smullyan, Raymond M.
2
1979
Fixed points and self-reference. Zbl 0585.03001
Smullyan, Raymond M.
2
1984
A generalization of intuitionistic and modal logics. Zbl 0268.02017
Smullyan, 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.03004
Smullyan, Raymond
2
1988
Abstract quantification theory. Zbl 0206.27201
Smullyan, R. M.
2
1970
On Post’s canonical systems. Zbl 0134.00803
Smullyan, R. M.
2
1963
A beginner’s guide to mathematical logic. Zbl 1404.03001
Smullyan, Raymond M.
1
2014
Satan, Cantor, and infinity. And other mind-boggling puzzles. Zbl 0990.00500
Smullyan, Raymond
1
1992
The magic garden of George B and other logic puzzles. Zbl 1432.00003
Smullyan, Raymond
1
2015
Reflections. The magic, music and mathematics of Raymond Smullyan. Zbl 1315.01005
Smullyan, Raymond
1
2015
Modality and self-reference. Zbl 0581.03010
Smullyan, Raymond M.
1
1985
On transfinite recursion. Zbl 0309.02066
Smullyan, Raymond M.
1
1965
The lady or the tiger? (Printsessa ili tigr?). Transl. from the English. (Printsessa ili tigr!) Zbl 0674.00003
Smullyan, Raymond
1
1985
Theories with effectively inseparable nuclei. Zbl 0095.00901
Smullyan, Raymond M.
1
1960
Extended canonical systems. Zbl 0101.01105
Smullyan, Raymond M.
1
1961
A beginner’s further guide to mathematical logic. Zbl 1370.03002
Smullyan, Raymond
4
2017
The magic garden of George B and other logic puzzles. Zbl 1432.00003
Smullyan, Raymond
1
2015
Reflections. The magic, music and mathematics of Raymond Smullyan. Zbl 1315.01005
Smullyan, Raymond
1
2015
A beginner’s guide to mathematical logic. Zbl 1404.03001
Smullyan, Raymond M.
1
2014
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
10
1996
Diagonalization and self-reference. Zbl 0810.03001
Smullyan, Raymond M.
9
1994
Recursion theory for metamathematics. Zbl 0796.03003
Smullyan, Raymond M.
3
1993
Gödel’s incompleteness theorems. Zbl 0787.03003
Smullyan, Raymond M.
15
1992
Satan, Cantor, and infinity. And other mind-boggling puzzles. Zbl 0990.00500
Smullyan, 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.03004
Smullyan, Raymond
2
1988
Modality and self-reference. Zbl 0581.03010
Smullyan, Raymond M.
1
1985
The lady or the tiger? (Printsessa ili tigr?). Transl. from the English. (Printsessa ili tigr!) Zbl 0674.00003
Smullyan, Raymond
1
1985
Fixed points and self-reference. Zbl 0585.03001
Smullyan, 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.03014
Smullyan, R. M.
6
1981
Trees and ball games. Zbl 0432.90100
Smullyan, Raymond M.
2
1979
What is the name of this book? The riddle of Dracula and other logical puzzles. Zbl 0432.00028
Smullyan, Raymond M.
15
1978
A generalization of intuitionistic and modal logics. Zbl 0268.02017
Smullyan, Raymond M.
2
1973
Abstract quantification theory. Zbl 0206.27201
Smullyan, R. M.
2
1970
First-order logic. Zbl 0172.28901
Smullyan, Raymond M.
242
1968
Analytic cut. Zbl 0181.00503
Smullyan, R. M.
6
1968
Uniform Gentzen systems. Zbl 0197.27305
Smullyan, R. M.
3
1968
Trees and nest structures. Zbl 0149.00501
Smullyan, R. M.
6
1966
Finite nest structures and propositional logic. Zbl 0149.00601
Smullyan, R. M.
3
1966
Analytic natural deduction. Zbl 0149.00403
Smullyan, R. M.
10
1965
A unifying principle in quantification theory. Zbl 0199.00703
Smullyan, Raymond M.
3
1965
On transfinite recursion. Zbl 0309.02066
Smullyan, Raymond M.
1
1965
Effectively simple sets. Zbl 0192.05101
Smullyan, R. M.
7
1964
A unifying principal in quantification theory. Zbl 0118.24901
Smullyan, R. M.
17
1963
On Post’s canonical systems. Zbl 0134.00803
Smullyan, R. M.
2
1963
Theory of formal systems. Zbl 0097.24503
Smullyan, Raymond M.
83
1961
Monadic elementary formal systems. Zbl 0218.02030
Smullyan, R. M.
26
1961
Extended canonical systems. Zbl 0101.01105
Smullyan, Raymond M.
1
1961
Exact separation of recursively enumerable sets within theories. Zbl 0118.25201
Putnam, H.; Smullyan, R. M.
3
1960
Theories with effectively inseparable nuclei. Zbl 0095.00901
Smullyan, Raymond M.
1
1960
Undecidability and recursive inseparability. Zbl 0099.00901
Smullyan, Raymond M.
4
1958
Languages in which self reference is possible. Zbl 0218.02026
Smullyan, R. M.
8
1957
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

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.