Raymond M. Smullyan

Publication Activity (10 Years)

Years Active: 1957-2004
Publications (10 Years): 0

Publications

Raymond M. Smullyan
An Isomorphism Related to Gödel's Fundamental Operations. Log. J. IGPL 12 (6) (2004)
Raymond M. Smullyan
Puzzles and Paradoxes (Abstract). CADE (1992)
Raymond M. Smullyan
Some unifying fixed point principles. Stud Logica 50 (1) (1991)
Raymond M. Smullyan
Some new double induction and superinduction principles. Stud Logica 49 (1) (1990)
Raymond M. Smullyan
Logicians Who Reason About Themselves. TARK (1986)
Raymond M. Smullyan
Uniform self-reference. Stud Logica 44 (4) (1985)
James K. Feibleman, Raymond M. Smullyan, Robert L. Vaught
Meeting of the Association for Symbolic Logic. J. Symb. Log. 35 (2) (1970)
Raymond M. Smullyan
Analytic Cut. J. Symb. Log. 33 (4) (1968)
Raymond M. Smullyan
Uniform Gentzen Systems. J. Symb. Log. 33 (4) (1968)
Raymond M. Smullyan
Trees and Nest Structures. J. Symb. Log. 31 (3) (1966)
Raymond M. Smullyan
Finite Nest Structures and Propositional Logic. J. Symb. Log. 31 (3) (1966)
Raymond M. Smullyan
Analytic Natural Deduction. J. Symb. Log. 30 (2) (1965)
Raymond M. Smullyan
Meeting of the Association for Symbolic Logic. J. Symb. Log. 29 (3) (1964)
Raymond M. Smullyan
On Post's Canonical Systems. J. Symb. Log. 27 (1) (1962)
Raymond M. Smullyan
Languages in Which Self Reference is Possible. J. Symb. Log. 22 (1) (1957)