63 found
Order:
  1.  26
    Set Theory and Its Logic.J. C. Shepherdson & Willard Van Orman Quine - 1965 - Philosophical Quarterly 15 (61):371.
  2.  47
    A Non-Standard Model for a Free Variable Fragment of Number Theory.J. C. Shepherdson - 1965 - Journal of Symbolic Logic 30 (3):389-390.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  3.  27
    Computability of Recursive Functions.J. C. Shepherdson & H. E. Sturgis - 1967 - Journal of Symbolic Logic 32 (1):122-123.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  4.  32
    Effective Operations on Partial Recursive Functions.J. Myhill & J. C. Shepherdson - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):310-317.
  5.  58
    Gödel's Second Incompleteness Theorem for Q.A. Bezboruah & J. C. Shepherdson - 1976 - Journal of Symbolic Logic 41 (2):503-512.
  6.  9
    Effective Operations on Partial Recursive Functions.J. Myhill & J. C. Shepherdson - 1955 - Mathematical Logic Quarterly 1 (4):310-317.
  7.  22
    On the Interpretation of Aristotelian Syllogistic.J. C. Shepherdson - 1956 - Journal of Symbolic Logic 21 (2):137-147.
  8.  13
    Inner Models for Set Theory—Part II.J. C. Shepherdson - 1952 - Journal of Symbolic Logic 17 (4):225-237.
    In this paper we continue the study of inner models of the type studied inInner models for set theory—Part I.The present paper is concerned exclusively with a particular kind of model, the ‘super-complete models’ defined in section 2.4 of I. The condition of 2.4 and the completeness condition 1.42 imply that such a model is uniquely determined when its universal class Vmis given. Writing condition and the completeness conditions 1.41, 1.42 in terms of Vm, we may state the definition in (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  9.  20
    On the Definition of Computable Function of a Real Variable.J. C. Shepherdson - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):391-402.
  10.  16
    Inner Models for Set Theory—Part I.J. C. Shepherdson - 1951 - Journal of Symbolic Logic 16 (3):161-190.
    One of the standard ways of proving the consistency of additional hypotheses with the basic axioms of an axiom system is by the construction of what may be described as ‘inner models.’ By starting with a domain of individuals assumed to satisfy the basic axioms an inner model is constructed whose domain of individuals is a certain subset of the original individual domain. If such an inner model can be constructed which satisfies not only the basic axioms but also the (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  11.  11
    Inner Models for Set Theory – Part III.J. C. Shepherdson - 1953 - Journal of Symbolic Logic 18 (2):145-167.
    In this third and last paper on inner models we consider some of the inherent limitations of the method of using inner models of the type defined in 1.2 for the proof of consistency results for the particular system of set theory under consideration. Roughly speaking this limitation may be described by saying that practically no further consistency results can be obtained by the construction of models satisfying the conditions of theorem 1.5, i.e., conditions 1.31, 1.32, 1.33, 1.51, viz.:This applies (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  12.  20
    Machine Configuration and Word Problems of Given Degree of Unsolvability.J. C. Shepherdson - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):149-175.
  13.  6
    On the Definition of Computable Function of a Real Variable.J. C. Shepherdson - 1976 - Mathematical Logic Quarterly 22 (1):391-402.
  14.  3
    Machine Configuration and Word Problems of Given Degree of Unsolvability.J. C. Shepherdson - 1965 - Mathematical Logic Quarterly 11 (2):149-175.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  15.  5
    Inner Models for Set Theory.J. C. Shepherdson - 1953 - Journal of Symbolic Logic 18 (4):342-343.
  16.  4
    An Intuitionistic Theory of Types: Predicative Part.H. E. Rose & J. C. Shepherdson - 1984 - Journal of Symbolic Logic 49 (1):311-313.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  4
    [Omnibus Review].J. C. Shepherdson - 1968 - Journal of Symbolic Logic 33 (2):296-297.
  18.  12
    Azriel Lévy. Indépendance Conditionnelle de V = L Et d'Axiomes Qui Se Rattache au Système de M. Gödel. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences , Vol. 245 , Pp. 1582–1583. [REVIEW]J. C. Shepherdson - 1959 - Journal of Symbolic Logic 24 (3):226-226.
  19.  7
    Review: Azriel Levy, Independance Conditionnelle de V = L Et d'Axiomes Qui Se Rattachent au Systeme de M. Godel. [REVIEW]J. C. Shepherdson - 1959 - Journal of Symbolic Logic 24 (3):226-226.
  20.  11
    Computability Theory, Semantics, and Logic Programming.J. C. Shepherdson & Melvin Fitting - 1988 - Journal of Symbolic Logic 53 (4):1257.
  21.  6
    Mints Type Deductive Calculi for Logic Programming.J. C. Shepherdson - 1992 - Annals of Pure and Applied Logic 56 (1-3):7-17.
    Mints has given a deductive calculus, a set of proof rules, for pure Prolog such that the goal X = A1,..., An succeeds in Prolog iff X is derivable in this calculus and X fails in Prolog iff ()X is derivable in this calculus. We summarise Mints' results and give appropriate modifications of his calculus to deal with use of negated goals in Prolog, SLD- resolution, SLDNF-resolution, extensions of SLDNF-resolution allowing negation as failure to be applied to nonground negative literals.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Mathematical Logic and Programming Languages.Charles Antony Richard Hoare & J. C. Shepherdson - 1985 - Prentice-Hall.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  17
    European Meeting of the Association for Symbolic Logic: Bristol, England, 1973.H. E. Rose & J. C. Shepherdson - 1974 - Journal of Symbolic Logic 39 (2):406-432.
  24. Logic Colloquium '73 Proceedings of the Logic Colloquium, Bristol, July 1973.H. E. Rose, J. C. Shepherdson & Association for Symbolic Logic - 1975
     
    Export citation  
     
    Bookmark   1 citation  
  25. Logic Colloquium ’73 Proceedings of the Logic Colloquium.H. E. Rose & J. C. Shepherdson (eds.) - 1975 - Elsevier.
    No categories
     
    Export citation  
     
    Bookmark  
  26.  10
    Recherche d'Une Algèbre Logique Continue.Nicolas Rouche, Wolfe Mays, Henryk Greniewski, M. O. Rabin, D. Scott & J. C. Shepherdson - 1960 - Journal of Symbolic Logic 25 (2):163-164.
  27.  53
    A. A. Fridman. Stépéni Nérazréšimosti Problémy Toždéstva V Konéčno Oprédélénnyh Gruppah. Doklady Akadémii Nauk SSSR, Vol. 147 , Pp. 805–808. - A. A. Fridman. Degrees of Insolvability of the Word Problem in Finitely Defined Groups. English Translation of the Preceding by Sue Ann Walker. Soviet Mathematics, Vol. 3 No. 6 , Pp. 1733–1737. - C. R. J. Clapham. Finitely Presented Groups with Word Problems of Arbitrary Degrees of Insolubility. Proceedings of the London Mathematical Society, Ser. 3 Vol. 14 , Pp. 633–676. - William W. Boone. Finitely Presented Group Whose Word Problem has the Same Degree as That of an Arbitrarily Given Thue System . Proceedings of the National Academy of Sciences, Vol. 53 , Pp. 265–269. - William W. Boone. Word Problems and Recursively Enumerable Degrees of Unsolvability. A First Paper on Thue Systems. Annals of Mathematics, Ser. 2 Vol. 83 , Pp. 520–571. - William W. Boone. Word Problems and Recursively Enumerable Degrees of Unsolvability. A Sequel on Finitely P. [REVIEW]J. C. Shepherdson - 1968 - Journal of Symbolic Logic 33 (2):296-297.
  28.  6
    Algorithmic Procedures, Generalized Turing Algorithms, and Elementary Recursion Theory.J. C. Shepherdson, A. J. Kfoury, R. Statman & Robert E. Byerly - 1990 - Journal of Symbolic Logic 55 (2):876-878.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  36
    E. W. Beth. Some Consequences of the Theorem of Löwenheim-Skolem-Gödel-Malcev. Ibid., Vol. 56 , Pp. 66–71; and Ibid., Vol. 15 , Pp. 66–71. [REVIEW]J. C. Shepherdson - 1954 - Journal of Symbolic Logic 19 (1):61-62.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30.  39
    Computerzing Mathematics: Logic and Computation.J. C. Shepherdson & Michael J. Beeson - 1991 - Journal of Symbolic Logic 56 (3):1090.
  31.  4
    Computer Programming and Formal Systems.J. C. Shepherdson, P. Braffort & D. Hirschberg - 1965 - Philosophical Quarterly 15 (61):371.
  32.  36
    C. R. J. Clapham. An Embedding Theorem for Finitely Generated Groups. Proceedings of the London Mathematical Society, Ser. 3 Vol. 17 , Pp. 419–430. [REVIEW]J. C. Shepherdson - 1970 - Journal of Symbolic Logic 35 (2):340-341.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  17
    David Maier and David S. Warren. Computing with Logic. Logic Programming with Prolog. The Benjamin/Cummings Publishing Company, Menlo Park, Calif., Etc., 1988, Xxi + 535 Pp. [REVIEW]J. C. Shepherdson - 1991 - Journal of Symbolic Logic 56 (4):1495.
  34.  20
    Fitting Melvin. Computability Theory, Semantics, and Logic Programming. Oxford Logic Guides, No. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, Xi + 198 Pp. [REVIEW]J. C. Shepherdson - 1988 - Journal of Symbolic Logic 53 (4):1257-1257.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  19
    G. P. Zykin. Zaméčanié Ob Odnoj Téorémé Hao Vana . Algébra I Logika, Séminar, Vol. 2 No. 1 , Pp. 33–35.J. C. Shepherdson - 1971 - Journal of Symbolic Logic 36 (3):534.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. H. SCHOLZ and G. HASENJAEGER: "Grundzüge der Mathematischen Logik". [REVIEW]J. C. Shepherdson - 1963 - Ratio (Misc.) 5 (1):107.
    No categories
     
    Export citation  
     
    Bookmark  
  37.  6
    Kruse A. H.. Grothendieck Universes and the Super-Complete Models of Shepherdson. Composite Mathematica, Vol. 17 , Pp. 96–101. [REVIEW]J. C. Shepherdson - 1972 - Journal of Symbolic Logic 37 (3):613-613.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  8
    Lévy Azriel. Axiom Schemata of Strong Infinity in Axiomatic Set Theory. Pacific Journal of Mathematics, Vol. 10 , Pp. 223–238. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (1):88-89.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  3
    Machine Configuration and Word Problems of Given Degree of Unsolvability.J. C. Shepherdson & Yehoshua Bar-Hillel - 1968 - Journal of Symbolic Logic 33 (1):120-121.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  5
    Michael J. Beeson. Computerizing Mathematics: Logic and Computation. The Universal Turing Machine, A Half-Century Survey, Edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. Pp. 191–225. [REVIEW]J. C. Shepherdson - 1991 - Journal of Symbolic Logic 56 (3):1090-1091.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  5
    Meeting of the Association for Symbolic Logic.J. C. Shepherdson, S. Körner & M. D. Gladstone - 1964 - Journal of Symbolic Logic 29 (4):218-228.
  42.  18
    Note on a System of Myhill.J. C. Shepherdson - 1956 - Journal of Symbolic Logic 21 (3):261-264.
  43. On the Interpretation of Aristotelian Syllogistic.J. C. Shepherdson - 1957 - Journal of Symbolic Logic 22 (4):381-381.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  3
    Reviews. [REVIEW]J. C. Shepherdson - 1964 - British Journal for the Philosophy of Science 15 (59):268-270.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45.  3
    Review: A. H. Kruse, Grothendieck Universes and the Super-Complete Models of Shepherdson. [REVIEW]J. C. Shepherdson - 1972 - Journal of Symbolic Logic 37 (3):613-613.
  46.  15
    Review: Azriel Levy, Axiom Schemata of Strong Infinity in Axiomatic Set Theory. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (1):88-89.
  47.  11
    Review: Alfred Tarski, A Simplified Formalization of Predicate Logic with Identity. [REVIEW]J. C. Shepherdson - 1974 - Journal of Symbolic Logic 39 (3):602-603.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  51
    Roger C. Lyndon. Notes on Logic. D. Van Nostrand Company, Inc., Princeton, Toronto, and London, 1966. Reprinted 1967, Vi + 97 Pp. [REVIEW]J. C. Shepherdson - 1973 - Journal of Symbolic Logic 38 (4):644-646.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  32
    Review: C. R. J. Clapham, An Embedding Theorem for Finitely Generated Groups. [REVIEW]J. C. Shepherdson - 1970 - Journal of Symbolic Logic 35 (2):340-341.
  50.  13
    Review: C. Y. Lee, Automata and Finite Automata. [REVIEW]J. C. Shepherdson - 1971 - Journal of Symbolic Logic 36 (3):534-535.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 63