ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Sorting

Electronic Resource

Implementing the ‘Fool's model’ of combinatory logic (1991)

Meyer, Robert K. ; Bunder, Martin W. ; Powers, Lawrence

Springer

Journal of automated reasoning 7 (1991), S. 597-630

add to mindlist on the mindlist

Details

ISSN: 1573-0670

Keywords: Condensed detachment ; combinator ; combinatory logic ; resolution, P-W ; relevant logic ; implication ; types ; formulas-as-types ; D-completeness

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Abstract This paper studies ‘Fool's models’ of combinatory logic, and relates them to Hindley's ‘D-completeness’ problem. A ‘fool's model’ is a family of sets of → formulas, closed under condensed detachment. Alternatively, it is a ‘model’ ofCL in naive set theory. We examine Resolution; and the P-W problem. A sequel shows T→ is D-complete; also, its extensions. We close with an implementation FMO of these ideas.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF01880331

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit