John C. Shepherdson

According to our database, John C. Shepherdson authored at least 35 papers between 1951 and 2001.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2001

A note on the notion of truth in fuzzy logic.

Petr Hájek, John C. Shepherdson

Ann. Pure Appl. Log., 2001

2000

Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic.

Petr Hájek, Jeff B. Paris, John C. Shepherdson

J. Symb. Log., 2000

The Liar Paradox and Fuzzy Logic.

Petr Hájek, Jeff B. Paris, John C. Shepherdson

J. Symb. Log., 2000

1995

W. S. Jevons: his Logical Machine and Work Induction and Boolean Algebra.

John C. Shepherdson

Proceedings of the Machine Intelligence 15, 1995

1994

The Role of Standardising Apart in Logic Programming.

John C. Shepherdson

Theor. Comput. Sci., 1994

Partial Deduction of Updateable Definite Logic Programs.

Kerima Benkerimi, John C. Shepherdson

J. Log. Program., 1994

1992

Unfold/Fold Transformations of Logic Programs.

John C. Shepherdson

Math. Struct. Comput. Sci., 1992

SLDNF-Resolution with Equality.

John C. Shepherdson

J. Autom. Reason., 1992

Mints Type Deductive Calculi for Logic Programming.

John C. Shepherdson

Ann. Pure Appl. Log., 1992

1991

Correct Answers to Allowed Programs and Queries are Ground.

John C. Shepherdson

J. Log. Program., 1991

Unsolvable Problems for SLDNF Resolution.

John C. Shepherdson

J. Log. Program., 1991

Partial Evaluation in Logic Programming.

John W. Lloyd, John C. Shepherdson

J. Log. Program., 1991

Unfold/Fold Transformations of Logic Programs.

Philippa Gardner, John C. Shepherdson

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990

Properties of a Pruning Operator.

Patricia M. Hill, John W. Lloyd, John C. Shepherdson

J. Log. Comput., 1990

1989

A Sound and Complete Semantics for a Version of Negation as Failure.

John C. Shepherdson

Theor. Comput. Sci., 1989

1988

Negation in Logic Programming.

John C. Shepherdson

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1985

Negation as Failure II.

John C. Shepherdson

J. Log. Program., 1985

1984

Negation as Failure: A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption.

John C. Shepherdson

J. Log. Program., 1984

1983

Variants of Robinson's essentially undecidable theory<i>R</i>.

James P. Jones, John C. Shepherdson

Arch. Math. Log., 1983

1982

Graph Theoretic Characterization of G-Schemes and TL-Schemes.

John C. Shepherdson

Theor. Comput. Sci., 1982

1981

In Memoriam Calvin C. Elgot.

John C. Shepherdson

Theor. Comput. Sci., 1981

1980

Some diophantine forms of gödel's theorem.

Verena H. Dyson, James P. Jones, John C. Shepherdson

Arch. Math. Log., 1980

1979

A Semantically Meaningful Characterization of Reducible Flowchart Schemes.

Calvin C. Elgot, John C. Shepherdson

Theor. Comput. Sci., 1979

1976

On the Definition of Computable Function of a Real Variable.

John C. Shepherdson

Math. Log. Q., 1976

Godel's Second Incompleteness Theorem for Q.

A. Bezboruah, John C. Shepherdson

J. Symb. Log., 1976

1974

European Meeting of the Association for Symbolic Logic: Bristol, England, 1973.

H. E. Rose, John C. Shepherdson

J. Symb. Log., 1974

1970

R70-20 Sequential Boolean Equations.

John C. Shepherdson

IEEE Trans. Computers, 1970

1964

Meeting of the Association for Symbolic Logic.

John C. Shepherdson, S. Korner, M. D. Gladstone

J. Symb. Log., 1964

1963

Computability of Recursive Functions.

John C. Shepherdson, Howard E. Sturgis

J. ACM, 1963

1959

The Reduction of Two-Way Automata to One-Way Automata.

John C. Shepherdson

IBM J. Res. Dev., 1959

1956

Note on a System of Myhill.

John C. Shepherdson

J. Symb. Log., 1956

On the Interpretation of Aristotelian Syllogistic.

John C. Shepherdson

J. Symb. Log., 1956

1953

Inner Models for Set Theory - Part III.

John C. Shepherdson

J. Symb. Log., 1953

1952

Inner Models for Set Theory-Part II.

John C. Shepherdson

J. Symb. Log., 1952

1951

Inner Models for Set Theory - Part I.

John C. Shepherdson

J. Symb. Log., 1951