Warning:
This wiki has been archived and is now read-only.
OpenLists
From RIF
(Redirected from MalformedLists)
| Test Type | NegativeEntailmentTest | ||||
|---|---|---|---|---|---|
| Contributor | Jos de Bruijn | ||||
| Status | Approved | ||||
| Record | 13 Oct 2009 telecon | ||||
| Dialect | BLD | ||||
| Purpose | Show that general open lists are valid structures (although some might call them malformed, they are not forbidden). | ||||
| Description | "General Open Lists" (where the tail is not a list, that is, like LISP dotted pairs) are technically lists in BLD, although they don't necessarily behave like normal lists. They are not a syntax error, and are not a logic error. | ||||
| SeeAlso | |||||
| SpecRef | BLD#Logical_Entailment | ||||
| Premises |
|
||||
| Non-conclusion |
|