Difference between revisions of "SCL/For Harry/5"
From Public Domain Knowledge Bank
DavidWhitten (talk | contribs) (Created page with "== {{strike|conventional}} First-Order Logic (SCL) == * {{strike|Lexicon fixed by signature}} No signature required * {{strike|Lexicon is pre-sorted into relation/function/...") |
(No difference)
|
Latest revision as of 17:00, 26 March 2021
conventional First-Order Logic (SCL)
-
Lexicon fixed by signatureNo signature required -
Lexicon is pre-sorted into relation/function/individual namesLexical categories implicit -
One context-free syntax for expressing logical formsSyntactic options may be user-defined -
Only ‘pure’ logical forms allowed SCLcan be intermixed with other content, including XML markup -
No relations in the universe of discourseNo restrictions on universe of quantification -
No global naming schemeUses WWW standard URI conventions
SCL is first-order logic with syntactic limitations removed and network use in mind.
