SCL/For Harry/5

conventional First-Order Logic (SCL)

• Lexicon fixed by signature No signature required
• Lexicon is pre-sorted into relation/function/individual names Lexical categories implicit
• One context-free syntax for expressing logical forms Syntactic options may be user-defined
• Only ‘pure’ logical forms allowed SCL can be intermixed with other content, including XML markup
• No relations in the universe of discourse No restrictions on universe of quantification
• No global naming scheme Uses WWW standard URI conventions

SCL is first-order logic with syntactic limitations removed and network use in mind.