Logic programs, well-orderings and forward chaining

, &
Annals of Pure and Applied Logic 96 (1-3):231-276 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(98)00041-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

O'Donnell, MJ, see Lipton, J. 187-239 Remmel, JB, see Nerode, A. 125-170.S. Feferman - 1996 - Annals of Pure and Applied Logic 81:241.
Kagan, V., Nerode, A. and Subrahmanian, VS., Computing definite logic.M. A. da ArchangelskyTaitslin, S. Artemov, F. A. Bluerle, J. B. Remmel, R. Harper, D. Sannella & A. Tarlecki - 1994 - Annals of Pure and Applied Logic 67:349.
Erratum to “Ordinal notations and well-orderings in bounded arithmetic” [Annals of Pure and Applied Logic 120 (2003) 197–223]. [REVIEW]Arnold Beckmann, Samuel R. Buss & Chris Pollett - 2003 - Annals of Pure and Applied Logic 123 (1-3):291.
BLASS. A., A game semantics for linear logic CENZER, D. and REMMEL, J., Polynomial-time Abehan groups CLOTE, P. and TAKEUTI, G., Bounded arithmetic for NC, ALogTIME, L and NL. [REVIEW]P. Lincoln, J. Mitchell & A. Scedrov - 1992 - Annals of Pure and Applied Logic 56:365.
Polynomial-time analogues of isolatedness.Leon Harkleroad - 1992 - Annals of Pure and Applied Logic 56 (1-3):173-182.
On the Mitchell and Rudin-Kiesler orderings of ultrafilters.Moti Gitik - 1988 - Annals of Pure and Applied Logic 39 (2):175-197.
Recursive automorphisms of recursive linear orderings.Steven Schwarz - 1984 - Annals of Pure and Applied Logic 26 (1):69-73.
The expressive power of Malitz quantifiers for linear orderings.Hans-Peter Tuschik - 1987 - Annals of Pure and Applied Logic 36:53-103.
Linear orderings and powers of characterizable cardinals.Ioannis Souldatos - 2012 - Annals of Pure and Applied Logic 163 (3):225-237.
A good lightface Δ n 1 well-ordering of the reals does not imply the existence of boldface Δ n − 1 1 well-orderings.Vladimir Kanovei & Vassily Lyubetsky - 2024 - Annals of Pure and Applied Logic 175 (6):103426.

Analytics

Added to PP
2014-01-16

Downloads
20 (#758,044)

6 months
11 (#340,569)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.

Add more references