DavidWhitten: 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/..."

2021-03-26T17:00:18Z

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/..."

New page

== {{strike|conventional}} First-Order Logic (SCL) ==

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

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

SCL/For Harry/5 - Revision history

DavidWhitten: 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/..."