×

Shepherdson, John C.

Author ID: shepherdson.john-c Recent zbMATH articles by "Shepherdson, John C."
Published as: Shepherdson, J. C.; Shepherdson, John C.; Shepherdson, John

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 786 times in 725 Documents Cited by Year
Effective procedures in field theory. Zbl 0070.03502
Fröhlich, A.; Shepherdson, J. C.
119
1956
Computability of recursive functions. Zbl 0118.25401
Shepherdson, J. C.; Sturgis, H. E.
92
1963
The reduction of two-way automata to one-way automata. Zbl 0158.25601
Shepherdson, J. C.
81
1959
Partial evaluation in logic programming. Zbl 0741.68030
Lloyd, J. W.; Shepherdson, J. C.
51
1991
A non-standard model for a free variable fragment of number theory. Zbl 0132.24701
Shepherdson, J. C.
37
1964
Effective operations on partial recursive functions. Zbl 0068.24706
Myhill, J.; Shepherdson, J. C.
35
1955
Negation in Logic Programming. Zbl 0718.68020
Shepherdson, J. C.
35
1988
Inverses and zero divisors in matrix rings. Zbl 0043.01702
Shepherdson, J. C.
34
1951
Machine configuration and word problems of given degree of unsolvability. Zbl 0161.00803
Shepherdson, J. C.
24
1965
Negation as failure: A comparison of Clark’s completed data base and Reiter’s closed world assumption. Zbl 0575.68094
Shepherdson, John C.
23
1984
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025
Hájek, Petr; Paris, Jeff; Shepherdson, John
21
2000
The Liar paradox and fuzzy logic. Zbl 0945.03031
Hájek, Petr; Paris, Jeff; Shepherdson, John
18
2000
Gödel’s second incompleteness theorem for Q. Zbl 0328.02017
Bezboruah, A.; Shepherdson, J. C.
18
1976
On the definition of computable function of a real variable. Zbl 0359.02029
Shepherdson, J. C.
17
1976
Inner models for set theory. I. Zbl 0043.05302
Shepherdson, J. C.
14
1951
Sets recognized by n-tape automata. Zbl 0207.02002
Eilenberg, S.; Elgot, C. C.; Shepherdson, J. C.
14
1969
Negation as failure. II. Zbl 0603.68094
Shepherdson, John C.
13
1985
Inner models for set theory. II. Zbl 0048.28105
Shepherdson, J. C.
12
1952
Variants of Robinson’s essentially undecidable theory R. Zbl 0511.03015
Jones, James P.; Shepherdson, John C.
11
1983
A semantically meaningful characterization of reducible flowchart schemes. Zbl 0399.68024
Elgot, Calvin C.; Shepherdson, John C.
10
1979
On the interpretation of Aristotelian syllogistic. Zbl 0072.24705
Shepherdson, J. C.
10
1956
A sound and complete semantics for a version of negation as failure. Zbl 0682.68095
Shepherdson, J. C.
10
1989
Representability of recursively enumerable sets in formal theories. Zbl 0113.24305
Shepherdson, J. C.
10
1961
Inner models for set theory. III. Zbl 0051.03801
Shepherdson, J. C.
9
1953
On the factorization of polynomials in a finite number of steps. Zbl 0064.24902
Fröhlich, A.; Shepherdson, J. C.
9
1955
An equational axiomatization of the algebra of reducible flowchart schemes. Zbl 0475.68002
Elgot, Calvin C.; Shepherdson, John C.
8
1982
On the addition of elements of a sequence. Zbl 0029.34402
Shepherdson, J. C.
6
1947
Computation over abstract structures: serial and parallel procedures and Friedman’s effective definitional schemes. Zbl 0325.02026
Shepherdson, J. C.
5
1975
Utility theory based on rational probabilities. Zbl 0427.90009
Shepherdson, J. C.
5
1980
Mathematical logic and programming languages. (A Discussion Meeting of the Royal Society of London, held on February 15 and 16, 1984). Zbl 0626.68003
3
1985
Negation as failure, completion and stratification. Zbl 0900.68138
Shepherdson, J. C.
3
1998
Logics for negation as failure. Zbl 0755.03012
Shepherdson, J. C.
3
1992
A note on the notion of truth in fuzzy logic. Zbl 1004.03020
Hájek, Petr; Shepherdson, John
3
2001
Non-standard models for fragments of number theory. Zbl 0154.26202
Shepherdson, J. C.
3
1965
The characterization problem for Hoare logics. With discussion by P. Aczel, J. V. Tucker and J. C. Shepherdson. Zbl 0598.68035
Clarke, E. M. jun.
2
1984
The role of standardising apart in logic programming. Zbl 0811.68068
Shepherdson, J. C.
2
1994
Logic colloquium ’73. Proceedings of the logic colloquium, Bristol, July 1973. Zbl 0299.00011
2
1975
Correct answers to allowed programs and queries are ground. Zbl 0764.68156
Shepherdson, J. C.
2
1991
Some diophantine forms of Goedel’s theorem. Zbl 0494.03043
Dyson, Verena H.; Jones, James P.; Shepherdson, John C.
2
1982
SLDNF-resolution with equality. Zbl 0754.68036
Shepherdson, J. C.
2
1992
Mints type deductive calculi for logic programming. Zbl 0761.03011
Shepherdson, J. C.
2
1992
Unfold/fold transformations of logic programs. Zbl 0749.68021
Shepherdson, J. C.
2
1992
Well-ordered sub-series of general series. Zbl 0044.04704
Shepherdson, J. C.
2
1951
Machine configuration and word problems of given degree of unsolvability. Zbl 0166.26502
Shepherdson, J. C.
2
1965
Extracting programs from proofs by an extension of the Curry-Howard process. Zbl 0821.03017
Crossley, John N.; Shepherdson, John C.
1
1993
Partial deduction of updateable definite logic programs. Zbl 0803.68015
Benkerimi, K.; Shepherdson, J. C.
1
1994
A note on the notion of truth in fuzzy logic. Zbl 1004.03020
Hájek, Petr; Shepherdson, John
3
2001
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic. Zbl 0971.03025
Hájek, Petr; Paris, Jeff; Shepherdson, John
21
2000
The Liar paradox and fuzzy logic. Zbl 0945.03031
Hájek, Petr; Paris, Jeff; Shepherdson, John
18
2000
Negation as failure, completion and stratification. Zbl 0900.68138
Shepherdson, J. C.
3
1998
The role of standardising apart in logic programming. Zbl 0811.68068
Shepherdson, J. C.
2
1994
Partial deduction of updateable definite logic programs. Zbl 0803.68015
Benkerimi, K.; Shepherdson, J. C.
1
1994
Extracting programs from proofs by an extension of the Curry-Howard process. Zbl 0821.03017
Crossley, John N.; Shepherdson, John C.
1
1993
Logics for negation as failure. Zbl 0755.03012
Shepherdson, J. C.
3
1992
SLDNF-resolution with equality. Zbl 0754.68036
Shepherdson, J. C.
2
1992
Mints type deductive calculi for logic programming. Zbl 0761.03011
Shepherdson, J. C.
2
1992
Unfold/fold transformations of logic programs. Zbl 0749.68021
Shepherdson, J. C.
2
1992
Partial evaluation in logic programming. Zbl 0741.68030
Lloyd, J. W.; Shepherdson, J. C.
51
1991
Correct answers to allowed programs and queries are ground. Zbl 0764.68156
Shepherdson, J. C.
2
1991
A sound and complete semantics for a version of negation as failure. Zbl 0682.68095
Shepherdson, J. C.
10
1989
Negation in Logic Programming. Zbl 0718.68020
Shepherdson, J. C.
35
1988
Negation as failure. II. Zbl 0603.68094
Shepherdson, 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
3
1985
Negation as failure: A comparison of Clark’s completed data base and Reiter’s closed world assumption. Zbl 0575.68094
Shepherdson, John C.
23
1984
The characterization problem for Hoare logics. With discussion by P. Aczel, J. V. Tucker and J. C. Shepherdson. Zbl 0598.68035
Clarke, E. M. jun.
2
1984
Variants of Robinson’s essentially undecidable theory R. Zbl 0511.03015
Jones, James P.; Shepherdson, John C.
11
1983
An equational axiomatization of the algebra of reducible flowchart schemes. Zbl 0475.68002
Elgot, Calvin C.; Shepherdson, John C.
8
1982
Some diophantine forms of Goedel’s theorem. Zbl 0494.03043
Dyson, Verena H.; Jones, James P.; Shepherdson, John C.
2
1982
Utility theory based on rational probabilities. Zbl 0427.90009
Shepherdson, J. C.
5
1980
A semantically meaningful characterization of reducible flowchart schemes. Zbl 0399.68024
Elgot, Calvin C.; Shepherdson, John C.
10
1979
Gödel’s second incompleteness theorem for Q. Zbl 0328.02017
Bezboruah, A.; Shepherdson, J. C.
18
1976
On the definition of computable function of a real variable. Zbl 0359.02029
Shepherdson, J. C.
17
1976
Computation over abstract structures: serial and parallel procedures and Friedman’s effective definitional schemes. Zbl 0325.02026
Shepherdson, J. C.
5
1975
Logic colloquium ’73. Proceedings of the logic colloquium, Bristol, July 1973. Zbl 0299.00011
2
1975
Sets recognized by n-tape automata. Zbl 0207.02002
Eilenberg, S.; Elgot, C. C.; Shepherdson, J. C.
14
1969
Machine configuration and word problems of given degree of unsolvability. Zbl 0161.00803
Shepherdson, J. C.
24
1965
Non-standard models for fragments of number theory. Zbl 0154.26202
Shepherdson, J. C.
3
1965
Machine configuration and word problems of given degree of unsolvability. Zbl 0166.26502
Shepherdson, J. C.
2
1965
A non-standard model for a free variable fragment of number theory. Zbl 0132.24701
Shepherdson, J. C.
37
1964
Computability of recursive functions. Zbl 0118.25401
Shepherdson, J. C.; Sturgis, H. E.
92
1963
Representability of recursively enumerable sets in formal theories. Zbl 0113.24305
Shepherdson, J. C.
10
1961
The reduction of two-way automata to one-way automata. Zbl 0158.25601
Shepherdson, J. C.
81
1959
Effective procedures in field theory. Zbl 0070.03502
Fröhlich, A.; Shepherdson, J. C.
119
1956
On the interpretation of Aristotelian syllogistic. Zbl 0072.24705
Shepherdson, J. C.
10
1956
Effective operations on partial recursive functions. Zbl 0068.24706
Myhill, J.; Shepherdson, J. C.
35
1955
On the factorization of polynomials in a finite number of steps. Zbl 0064.24902
Fröhlich, A.; Shepherdson, J. C.
9
1955
Inner models for set theory. III. Zbl 0051.03801
Shepherdson, J. C.
9
1953
Inner models for set theory. II. Zbl 0048.28105
Shepherdson, J. C.
12
1952
Inverses and zero divisors in matrix rings. Zbl 0043.01702
Shepherdson, J. C.
34
1951
Inner models for set theory. I. Zbl 0043.05302
Shepherdson, J. C.
14
1951
Well-ordered sub-series of general series. Zbl 0044.04704
Shepherdson, J. C.
2
1951
On the addition of elements of a sequence. Zbl 0029.34402
Shepherdson, J. C.
6
1947
all top 5

Cited by 847 Authors

16 Bazhenov, Nikolaĭ Alekseevich
12 Busi, Nadia
12 Zavattaro, Gianluigi
11 Downey, Rodney Graham
10 Melnikov, Alexander G.
10 Miller, Russell G.
9 Shepherdson, John C.
7 Choffrut, Christian
7 Geffert, Viliam
7 Hájek, Petr
7 Lee, Yang
7 Vidal, Germán
7 Willard, Dan E.
6 Conidis, Chris J.
6 Hamidoune, Yahya Ould
6 Jeřábek, Emil
6 Kalimullin, Iskander Shagitovich
6 Kwak, Tai Keun
6 Lecerf, Grégoire
6 Nerode, Anil
5 Birget, Jean-Camille
5 Fokina, Ekaterina B.
5 Grigorieff, Serge
5 Hughes, Charles E.
5 Mereghetti, Carlo
5 Palano, Beatrice
5 Pighizzini, Giovanni
5 Spreen, Dieter
5 Tucker, John V.
4 Alpuente, María
4 D’Aquino, Paola
4 Demeyer, Jeroen
4 Escobar, Santiago
4 Field, Hartry H.
4 Gabbrielli, Maurizio
4 Godo, Lluís
4 Goncharov, Sergeĭ Savost’yanovich
4 Gorrieri, Roberto
4 Gottwald, Siegfried
4 Kanamori, Akihiro
4 Kutrib, Martin
4 Matiyasevich, Yuriĭ Vladimirovich
4 Montagna, Franco
4 Ng, KengMeng
4 Pettorossi, Alberto
4 Proietti, Maurizio
4 Puebla, Germán
4 San Mauro, Luca
4 Yakaryılmaz, Abuzer
4 Zucker, Jeffery I.
3 Aanderaa, Stål Olav
3 Albert, Elvira
3 Anselmo, Marcella
3 Ballis, Demis
3 Bartha, Miklós
3 Barton, Neil
3 Bidoit, Nicole
3 Bloom, Stephen L.
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 Dershowitz, Nachum
3 Etalle, Sandro
3 Gallagher, John P.
3 Gastin, Paul
3 Germano, Giorgio M.
3 Guillon, Bruno
3 Haniková, Zuzana
3 Holzer, Markus
3 Kfoury, Assaf J.
3 Khoussainov, Bakhadyr M.
3 Khurana, Dinesh
3 Ko, Ker-I
3 Kołodziejczyk, Leszek Aleksander
3 Kudinov, Oleg Victorovich
3 Lempp, Steffen
3 Lewis, Alain A.
3 Longo, Giuseppe
3 Macintyre, Angus John
3 Moschovakis, Yiannis Nicholas
3 Muscholl, Anca
3 Okhotin, Alexander
3 Otto, Friedrich
3 Phan Minh Dung
3 Pour-El, Marian Boykan
3 Prigioniero, Luca
3 Puppis, Gabriele
3 Richards, Ian
3 Sapiña, Julia
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
...and 747 more Authors
all top 5

Cited in 146 Serials

98 Theoretical Computer Science
44 Annals of Pure and Applied Logic
29 The Journal of Symbolic Logic
27 Journal of Computer and System Sciences
22 Information and Computation
19 Archive for Mathematical Logic
17 Journal of Algebra
17 The Bulletin of Symbolic Logic
15 Transactions of the American Mathematical Society
11 Mathematical Logic Quarterly (MLQ)
10 Information Processing Letters
9 Notre Dame Journal of Formal Logic
9 Journal of Symbolic Computation
9 Journal of Automated Reasoning
9 Annals of Mathematics and Artificial Intelligence
8 Proceedings of the American Mathematical Society
8 Studia Logica
8 New Generation Computing
8 The Review of Symbolic Logic
7 Archiv für Mathematische Logik und Grundlagenforschung
7 Communications in Algebra
7 Journal of Mathematical Sciences (New York)
7 Theory and Practice of Logic Programming
6 Acta Informatica
6 Artificial Intelligence
6 Fuzzy Sets and Systems
6 MSCS. Mathematical Structures in Computer Science
5 Advances in Mathematics
5 Algebra and Logic
5 Journal of Pure and Applied Algebra
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 Soviet Mathematics
4 Mathematical Systems Theory
4 Journal of Complexity
4 International Journal of Algebra and Computation
4 International Journal of Foundations of Computer Science
4 Applicable Algebra in Engineering, Communication and Computing
4 Journal of Applied Non-Classical Logics
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 RAIRO. Theoretical Informatics and Applications
3 Logic and Logical Philosophy
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 Bulletin of the Korean Mathematical Society
2 History and Philosophy of Logic
2 Acta Mathematica Hungarica
2 Journal of Computer Science and Technology
2 Linear Algebra and its Applications
2 Journal of Logic, Language and Information
2 Combinatorics, Probability and Computing
2 Journal of Functional Programming
2 Theory of Computing Systems
2 Journal of Automata, Languages and Combinatorics
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 Mathematical Proceedings of the Cambridge Philosophical Society
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 Fundamenta Mathematicae
1 Inventiones Mathematicae
1 Journal of Economic Theory
1 Journal of the London Mathematical Society. Second Series
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
...and 46 more Serials
all top 5

Cited in 43 Fields

357 Computer science (68-XX)
355 Mathematical logic and foundations (03-XX)
36 Associative rings and algebras (16-XX)
30 Number theory (11-XX)
30 Field theory and polynomials (12-XX)
26 Group theory and generalizations (20-XX)
20 Order, lattices, ordered algebraic structures (06-XX)
19 History and biography (01-XX)
17 Commutative algebra (13-XX)
9 General and overarching topics; collections (00-XX)
8 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
7 Combinatorics (05-XX)
7 Category theory; homological algebra (18-XX)
7 General topology (54-XX)
6 Quantum theory (81-XX)
6 Information and communication theory, circuits (94-XX)
5 General algebraic systems (08-XX)
4 Functional analysis (46-XX)
4 Geometry (51-XX)
3 Algebraic geometry (14-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
3 Dynamical systems and ergodic theory (37-XX)
2 Nonassociative rings and algebras (17-XX)
2 Topological groups, Lie groups (22-XX)
2 Real functions (26-XX)
2 Ordinary differential equations (34-XX)
2 Numerical analysis (65-XX)
2 Operations research, mathematical programming (90-XX)
1 \(K\)-theory (19-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 Special functions (33-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