Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2014

2014

For any partial combinatory algebra (PCA for short) A, the class of A-representable partial functions from N to A quotiented by… Expand

Is this relevant?

2011

2011

We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus… Expand

Is this relevant?

2001

2001

in English and Danish Motivated by David Hilbert’s program and philosophy of mathematics we give in the context of natural… Expand

Is this relevant?

1993

1993

Abstract We introduce the foundational issues involved in incorporating the NEGATION as FAILURE (NAF) rule into the framework of… Expand

Is this relevant?

1992

1992

It is known that larger classes of formulae than Horn clauses may be used as logic programming languages. One such class of… Expand

Is this relevant?