OpenLists

From RIF
Revision as of 13:14, 2 February 2010 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search




Test TypeNegativeEntailmentTest
ContributorJos de Bruijn
StatusApproved
Record13 Oct 2009 telecon
DialectBLD
PurposeShow 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
SpecRefBLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Group( ex:p(List(ex:a | "b")) ) )
XMLview RIF/XML
Non-conclusion
Presentation Syntaxex:p(List(ex:a "b"))
XMLview RIF/XML