Edit Profile (opens in new tab) Shepherdson, John C. Compute Distance To: Compute Author ID: shepherdson.john-c Published as: Shepherdson, J. C.; Shepherdson, John C.; Shepherdson, John more...less Documents Indexed: 56 Publications since 1947 3 Contributions as Editor · 1 Further Contribution Co-Authors: 17 Co-Authors with 21 Joint Publications 304 Co-Co-Authors all top 5 Co-Authors 38 single-authored 3 Elgot, Calvin C. 3 Hájek, Petr 2 Fröhlich, Albrecht 2 Jones, James P. 2 Lloyd, John Wylie 2 Paris, Jeffrey Bruce 2 Rose, Harvey E. 1 Benkerimi, K. 1 Bezboruah, A. 1 Clarke, Edmund Melson jun. 1 Crossley, John Newsome 1 Dyson, Verena H. 1 Eilenberg, Samuel 1 Hill, Patricia M. 1 Hoare, C. A. R. Tony 1 Lee, Habin 1 Myhill, John R. 1 Sturgis, H. E. 1 Tucker, John V. all top 5 Serials 9 The Journal of Symbolic Logic 5 Theoretical Computer Science 5 The Journal of Logic Programming 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Philosophical Transactions of the Royal Society of London. Ser. A 2 Proceedings of the London Mathematical Society. Third Series 2 Annals of Pure and Applied Logic 2 Journal of the London Mathematical Society 1 American Mathematical Monthly 1 Journal of Algebra 1 Journal of the Association for Computing Machinery 1 Journal of Computer and System Sciences 1 Journal of Mathematical Economics 1 Mathematische Zeitschrift 1 Pacific Journal of Mathematics 1 Journal of Automated Reasoning 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 Studies in Logic and the Foundations of Mathematics all top 5 Fields 27 Computer science (68-XX) 19 Mathematical logic and foundations (03-XX) 3 History and biography (01-XX) 2 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 46 Publications have been cited 700 times in 649 Documents Cited by ▼ Year ▼ Effective procedures in field theory. Zbl 0070.03502Fröhlich, A.; Shepherdson, J. C. 107 1956 Computability of recursive functions. Zbl 0118.25401Shepherdson, J. C.; Sturgis, H. E. 88 1963 The reduction of two-way automata to one-way automata. Zbl 0158.25601Shepherdson, J. C. 63 1959 Partial evaluation in logic programming. Zbl 0741.68030Lloyd, J. W.; Shepherdson, J. C. 42 1991 Effective operations on partial recursive functions. Zbl 0068.24706Myhill, J.; Shepherdson, J. C. 34 1955 Negation in Logic Programming. Zbl 0718.68020Shepherdson, J. C. 31 1988 A non-standard model for a free variable fragment of number theory. Zbl 0132.24701Shepherdson, J. C. 31 1964 Inverses and zero divisors in matrix rings. Zbl 0043.01702Shepherdson, J. C. 30 1951 Negation as failure: A comparison of Clark’s completed data base and Reiter’s closed world assumption. Zbl 0575.68094Shepherdson, John C. 22 1984 Machine configuration and word problems of given degree of unsolvability. Zbl 0161.00803Shepherdson, J. C. 21 1965 The Liar paradox and fuzzy logic. Zbl 0945.03031Hájek, Petr; Paris, Jeff; Shepherdson, John 18 2000 Gödel’s second incompleteness theorem for Q. Zbl 0328.02017Bezboruah, A.; Shepherdson, J. C. 18 1976 Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025Hájek, Petr; Paris, Jeff; Shepherdson, John 17 2000 On the definition of computable function of a real variable. Zbl 0359.02029Shepherdson, J. C. 16 1976 Negation as failure. II. Zbl 0603.68094Shepherdson, John C. 13 1985 Sets recognized by n-tape automata. Zbl 0207.02002Eilenberg, S.; Elgot, C. C.; Shepherdson, J. C. 13 1969 Inner models for set theory. I. Zbl 0043.05302Shepherdson, J. C. 11 1951 A sound and complete semantics for a version of negation as failure. Zbl 0682.68095Shepherdson, J. C. 10 1989 Representability of recursively enumerable sets in formal theories. Zbl 0113.24305Shepherdson, J. C. 9 1961 A semantically meaningful characterization of reducible flowchart schemes. Zbl 0399.68024Elgot, Calvin C.; Shepherdson, John C. 9 1979 Inner models for set theory. II. Zbl 0048.28105Shepherdson, J. C. 9 1952 On the factorization of polynomials in a finite number of steps. Zbl 0064.24902Fröhlich, A.; Shepherdson, J. C. 9 1955 On the interpretation of Aristotelian syllogistic. Zbl 0072.24705Shepherdson, J. C. 9 1956 An equational axiomatization of the algebra of reducible flowchart schemes. Zbl 0475.68002Elgot, Calvin C.; Shepherdson, John C. 8 1982 Variants of Robinson’s essentially undecidable theory R. Zbl 0511.03015Jones, James P.; Shepherdson, John C. 8 1983 Inner models for set theory. III. Zbl 0051.03801Shepherdson, J. C. 7 1953 On the addition of elements of a sequence. Zbl 0029.34402Shepherdson, J. C. 6 1947 Utility theory based on rational probabilities. Zbl 0427.90009Shepherdson, J. C. 5 1980 Computation over abstract structures: Serial and parallel procedures and Friedman’s effective definitional schemes. Zbl 0325.02026Shepherdson, J. C. 5 1975 Non-standard models for fragments of number theory. Zbl 0154.26202Shepherdson, J. C. 3 1965 Logics for negation as failure. Zbl 0755.03012Shepherdson, J. C. 3 1992 The characterization problem for Hoare logics. With discussion by P. Aczel, J. V. Tucker and J. C. Shepherdson. Zbl 0598.68035Clarke, E. M. jun. 2 1984 Some diophantine forms of Goedel’s theorem. Zbl 0494.03043Dyson, Verena H.; Jones, James P.; Shepherdson, John C. 2 1982 A note on the notion of truth in fuzzy logic. Zbl 1004.03020Hájek, Petr; Shepherdson, John 2 2001 Negation as failure, completion and stratification. Zbl 0900.68138Shepherdson, J. C. 2 1998 The role of standardising apart in logic programming. Zbl 0811.68068Shepherdson, J. C. 2 1994 Machine configuration and word problems of given degree of unsolvability. Zbl 0166.26502Shepherdson, J. C. 2 1965 Correct answers to allowed programs and queries are ground. Zbl 0764.68156Shepherdson, J. C. 2 1991 SLDNF-resolution with equality. Zbl 0754.68036Shepherdson, J. C. 2 1992 Unfold/fold transformations of logic programs. Zbl 0749.68021Shepherdson, J. C. 2 1992 Well-ordered sub-series of general series. Zbl 0044.04704Shepherdson, J. C. 2 1951 Mathematical logic and programming languages. (A Discussion Meeting of the Royal Society of London, held on February 15 and 16, 1984). Zbl 0626.68003 1 1985 Extracting programs from proofs by an extension of the Curry-Howard process. Zbl 0821.03017Crossley, John N.; Shepherdson, John C. 1 1993 Partial deduction of updateable definite logic programs. Zbl 0803.68015Benkerimi, K.; Shepherdson, J. C. 1 1994 Mints type deductive calculi for logic programming. Zbl 0761.03011Shepherdson, J. C. 1 1992 Logic colloquium ’73. Proceedings of the logic colloquium, Bristol, July 1973. Zbl 0299.00011 1 1975 A note on the notion of truth in fuzzy logic. Zbl 1004.03020Hájek, Petr; Shepherdson, John 2 2001 The Liar paradox and fuzzy logic. Zbl 0945.03031Hájek, Petr; Paris, Jeff; Shepherdson, John 18 2000 Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025Hájek, Petr; Paris, Jeff; Shepherdson, John 17 2000 Negation as failure, completion and stratification. Zbl 0900.68138Shepherdson, J. C. 2 1998 The role of standardising apart in logic programming. Zbl 0811.68068Shepherdson, J. C. 2 1994 Partial deduction of updateable definite logic programs. Zbl 0803.68015Benkerimi, K.; Shepherdson, J. C. 1 1994 Extracting programs from proofs by an extension of the Curry-Howard process. Zbl 0821.03017Crossley, John N.; Shepherdson, John C. 1 1993 Logics for negation as failure. Zbl 0755.03012Shepherdson, J. C. 3 1992 SLDNF-resolution with equality. Zbl 0754.68036Shepherdson, J. C. 2 1992 Unfold/fold transformations of logic programs. Zbl 0749.68021Shepherdson, J. C. 2 1992 Mints type deductive calculi for logic programming. Zbl 0761.03011Shepherdson, J. C. 1 1992 Partial evaluation in logic programming. Zbl 0741.68030Lloyd, J. W.; Shepherdson, J. C. 42 1991 Correct answers to allowed programs and queries are ground. Zbl 0764.68156Shepherdson, J. C. 2 1991 A sound and complete semantics for a version of negation as failure. Zbl 0682.68095Shepherdson, J. C. 10 1989 Negation in Logic Programming. Zbl 0718.68020Shepherdson, J. C. 31 1988 Negation as failure. II. Zbl 0603.68094Shepherdson, John C. 13 1985 Mathematical logic and programming languages. (A Discussion Meeting of the Royal Society of London, held on February 15 and 16, 1984). Zbl 0626.68003 1 1985 Negation as failure: A comparison of Clark’s completed data base and Reiter’s closed world assumption. Zbl 0575.68094Shepherdson, John C. 22 1984 The characterization problem for Hoare logics. With discussion by P. Aczel, J. V. Tucker and J. C. Shepherdson. Zbl 0598.68035Clarke, E. M. jun. 2 1984 Variants of Robinson’s essentially undecidable theory R. Zbl 0511.03015Jones, James P.; Shepherdson, John C. 8 1983 An equational axiomatization of the algebra of reducible flowchart schemes. Zbl 0475.68002Elgot, Calvin C.; Shepherdson, John C. 8 1982 Some diophantine forms of Goedel’s theorem. Zbl 0494.03043Dyson, Verena H.; Jones, James P.; Shepherdson, John C. 2 1982 Utility theory based on rational probabilities. Zbl 0427.90009Shepherdson, J. C. 5 1980 A semantically meaningful characterization of reducible flowchart schemes. Zbl 0399.68024Elgot, Calvin C.; Shepherdson, John C. 9 1979 Gödel’s second incompleteness theorem for Q. Zbl 0328.02017Bezboruah, A.; Shepherdson, J. C. 18 1976 On the definition of computable function of a real variable. Zbl 0359.02029Shepherdson, J. C. 16 1976 Computation over abstract structures: Serial and parallel procedures and Friedman’s effective definitional schemes. Zbl 0325.02026Shepherdson, J. C. 5 1975 Logic colloquium ’73. Proceedings of the logic colloquium, Bristol, July 1973. Zbl 0299.00011 1 1975 Sets recognized by n-tape automata. Zbl 0207.02002Eilenberg, S.; Elgot, C. C.; Shepherdson, J. C. 13 1969 Machine configuration and word problems of given degree of unsolvability. Zbl 0161.00803Shepherdson, J. C. 21 1965 Non-standard models for fragments of number theory. Zbl 0154.26202Shepherdson, J. C. 3 1965 Machine configuration and word problems of given degree of unsolvability. Zbl 0166.26502Shepherdson, J. C. 2 1965 A non-standard model for a free variable fragment of number theory. Zbl 0132.24701Shepherdson, J. C. 31 1964 Computability of recursive functions. Zbl 0118.25401Shepherdson, J. C.; Sturgis, H. E. 88 1963 Representability of recursively enumerable sets in formal theories. Zbl 0113.24305Shepherdson, J. C. 9 1961 The reduction of two-way automata to one-way automata. Zbl 0158.25601Shepherdson, J. C. 63 1959 Effective procedures in field theory. Zbl 0070.03502Fröhlich, A.; Shepherdson, J. C. 107 1956 On the interpretation of Aristotelian syllogistic. Zbl 0072.24705Shepherdson, J. C. 9 1956 Effective operations on partial recursive functions. Zbl 0068.24706Myhill, J.; Shepherdson, J. C. 34 1955 On the factorization of polynomials in a finite number of steps. Zbl 0064.24902Fröhlich, A.; Shepherdson, J. C. 9 1955 Inner models for set theory. III. Zbl 0051.03801Shepherdson, J. C. 7 1953 Inner models for set theory. II. Zbl 0048.28105Shepherdson, J. C. 9 1952 Inverses and zero divisors in matrix rings. Zbl 0043.01702Shepherdson, J. C. 30 1951 Inner models for set theory. I. Zbl 0043.05302Shepherdson, J. C. 11 1951 Well-ordered sub-series of general series. Zbl 0044.04704Shepherdson, J. C. 2 1951 On the addition of elements of a sequence. Zbl 0029.34402Shepherdson, J. C. 6 1947 all cited Publications top 5 cited Publications all top 5 Cited by 751 Authors 13 Bazhenov, Nikolaĭ Alekseevich 12 Busi, Nadia 12 Zavattaro, Gianluigi 11 Downey, Rodney Graham 10 Miller, Russell G. 9 Melnikov, Alexander G. 9 Shepherdson, John C. 7 Choffrut, Christian 7 Hájek, Petr 7 Willard, Dan E. 6 Conidis, Chris J. 6 Hamidoune, Yahya Ould 6 Kalimullin, Iskander Shagitovich 6 Lecerf, Grégoire 6 Lee, Yang 6 Vidal, Germán 5 Birget, Jean-Camille 5 Fokina, Ekaterina B. 5 Geffert, Viliam 5 Grigorieff, Serge 5 Hughes, Charles E. 5 Kwak, Tai Keun 5 Nerode, Anil 5 Tucker, John V. 4 D’Aquino, Paola 4 Demeyer, Jeroen 4 Field, Hartry H. 4 Gabbrielli, Maurizio 4 Goncharov, Sergeĭ Savost’yanovich 4 Gorrieri, Roberto 4 Jeřábek, Emil 4 Kanamori, Akihiro 4 Matiyasevich, Yuriĭ Vladimirovich 4 Mereghetti, Carlo 4 Ng, KengMeng 4 Palano, Beatrice 4 Puebla, Germán 4 Spreen, Dieter 4 Yakaryılmaz, Abuzer 4 Zucker, Jeffery I. 3 Aanderaa, Stål Olav 3 Albert, Elvira 3 Anselmo, Marcella 3 Bartha, Miklós 3 Bidoit, Nicole 3 Börger, Egon 3 Boughattas, Sedki 3 Bravetti, Mario 3 Carl, Merlin 3 Cintula, Petr 3 Collins, Donald J. 3 De Schreye, Danny 3 Delahaye, Jean-Paul 3 Etalle, Sandro 3 Godo, Lluís 3 Gottwald, Siegfried 3 Kfoury, Assaf J. 3 Khurana, Dinesh 3 Ko, Ker-I 3 Kołodziejczyk, Leszek Aleksander 3 Kudinov, Oleg Victorovich 3 Kutrib, Martin 3 Lempp, Steffen 3 Lewis, Alain A. 3 Longo, Giuseppe 3 Macintyre, Angus John 3 Montagna, Franco 3 Moschovakis, Yiannis Nicholas 3 Otto, Friedrich 3 Pettorossi, Alberto 3 Pighizzini, Giovanni 3 Pour-El, Marian Boykan 3 Proietti, Maurizio 3 Richards, Ian 3 Say, A. C. Cem 3 Schlipf, John Stewart 3 Singletary, W. E. 3 Topor, Rodney W. 3 Turetsky, Daniel D. 3 van der Hoeven, Joris 3 Yamaleev, Mars Mansurovich 2 Alpuente, María 2 Berthomieu, Jérémy 2 Bloom, Stephen L. 2 Bol, Roland N. 2 Bossi, Annalisa 2 Bruynooghe, Maurice 2 Bunina, Elena Igor’evna 2 Cheng, Yong 2 Chernov, V. P. 2 Constable, Robert Lee 2 Crossley, John Newsome 2 Da Ré, Bruno 2 Dartois, Luc 2 Dean, Walter 2 Doczkal, Christian 2 Dovier, Agostino 2 Drabent, Włodzimierz 2 Escobar, Santiago 2 Feferman, Solomon ...and 651 more Authors all top 5 Cited in 138 Serials 95 Theoretical Computer Science 42 Annals of Pure and Applied Logic 29 The Journal of Symbolic Logic 26 Journal of Computer and System Sciences 20 Information and Computation 18 Archive for Mathematical Logic 17 The Bulletin of Symbolic Logic 16 Journal of Algebra 15 Transactions of the American Mathematical Society 10 Information Processing Letters 9 Journal of Automated Reasoning 9 Annals of Mathematics and Artificial Intelligence 8 Notre Dame Journal of Formal Logic 8 Proceedings of the American Mathematical Society 8 Journal of Symbolic Computation 8 New Generation Computing 8 The Review of Symbolic Logic 7 Archiv für Mathematische Logik und Grundlagenforschung 7 Communications in Algebra 7 Studia Logica 7 Journal of Mathematical Sciences (New York) 6 Acta Informatica 6 Artificial Intelligence 6 MSCS. Mathematical Structures in Computer Science 6 Mathematical Logic Quarterly (MLQ) 5 Advances in Mathematics 5 Algebra and Logic 5 Fuzzy Sets and Systems 5 RAIRO. Informatique Théorique et Applications 5 Journal of Algebra and its Applications 5 Journal of Logical and Algebraic Methods in Programming 4 Journal of Pure and Applied Algebra 4 Journal of Soviet Mathematics 4 Mathematical Systems Theory 4 Journal of Complexity 4 Applicable Algebra in Engineering, Communication and Computing 4 Journal of Applied Non-Classical Logics 4 Theory and Practice of Logic Programming 4 Bulletin of the American Mathematical Society 4 RAIRO. Theoretical Informatics and Applications 3 Journal of Philosophical Logic 3 Mathematical Social Sciences 3 Formal Aspects of Computing 3 International Journal of Algebra and Computation 3 International Journal of Foundations of Computer Science 3 RAIRO. Theoretical Informatics and Applications 2 Discrete Mathematics 2 International Journal of General Systems 2 Lithuanian Mathematical Journal 2 Mathematical Notes 2 Chaos, Solitons and Fractals 2 Acta Mathematica 2 Archiv der Mathematik 2 Compositio Mathematica 2 Information Sciences 2 International Journal of Computer & Information Sciences 2 Siberian Mathematical Journal 2 Synthese 2 Theory and Decision 2 History and Philosophy of Logic 2 Acta Mathematica Hungarica 2 Journal of Computer Science and Technology 2 Linear Algebra and its Applications 2 Combinatorics, Probability and Computing 2 Journal of Functional Programming 2 Theory of Computing Systems 2 Soft Computing 2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 Lobachevskii Journal of Mathematics 2 ACM Transactions on Computational Logic 2 Computability 1 Acta Mathematica Academiae Scientiarum Hungaricae 1 Archive for History of Exact Sciences 1 Israel Journal of Mathematics 1 Linear and Multilinear Algebra 1 Russian Mathematical Surveys 1 Ukrainian Mathematical Journal 1 Bulletin of the Polish Academy of Sciences. Technical Sciences 1 Annales de l’Institut Fourier 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Bulletin de la Société Mathématique de France 1 Computing 1 Czechoslovak Mathematical Journal 1 Inventiones Mathematicae 1 Journal of Economic Theory 1 Journal of Mathematical Economics 1 Journal of Mathematical Psychology 1 Journal of Number Theory 1 Manuscripta Mathematica 1 Mathematische Annalen 1 Mathematics and Computers in Simulation 1 Mathematische Nachrichten 1 Mathematica Slovaca 1 Mathematische Zeitschrift 1 Memoirs of the American Mathematical Society 1 RAIRO, Informatique Théorique 1 European Journal of Combinatorics 1 Advances in Applied Mathematics 1 Bulletin of the Korean Mathematical Society 1 Japan Journal of Applied Mathematics ...and 38 more Serials all top 5 Cited in 42 Fields 324 Mathematical logic and foundations (03-XX) 309 Computer science (68-XX) 31 Associative rings and algebras (16-XX) 30 Field theory and polynomials (12-XX) 29 Number theory (11-XX) 21 Group theory and generalizations (20-XX) 18 Order, lattices, ordered algebraic structures (06-XX) 16 History and biography (01-XX) 14 Commutative algebra (13-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Combinatorics (05-XX) 6 General and overarching topics; collections (00-XX) 6 General topology (54-XX) 6 Information and communication theory, circuits (94-XX) 5 Category theory; homological algebra (18-XX) 5 Quantum theory (81-XX) 4 General algebraic systems (08-XX) 4 Geometry (51-XX) 3 Algebraic geometry (14-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Nonassociative rings and algebras (17-XX) 2 Real functions (26-XX) 2 Ordinary differential equations (34-XX) 2 Functional analysis (46-XX) 2 Numerical analysis (65-XX) 2 Operations research, mathematical programming (90-XX) 1 \(K\)-theory (19-XX) 1 Topological groups, Lie groups (22-XX) 1 Measure and integration (28-XX) 1 Functions of a complex variable (30-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Partial differential equations (35-XX) 1 Approximations and expansions (41-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of deformable solids (74-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year