Difference between revisions of "SCL/For Harry/3"
From Public Domain Knowledge Bank
DavidWhitten (talk | contribs) (Created page with "== conventional First-Order Logic == * Lexicon fixed by signature * Lexicon is pre-sorted into relation/function/individual names * One context-free syntax for expressing lo...") |
(No difference)
|
Latest revision as of 16:53, 26 March 2021
conventional First-Order Logic
- Lexicon fixed by signature
- Lexicon is pre-sorted into relation/function/individual names
- One context-free syntax for expressing logical forms
- Only ‘pure’ logical forms allowed
- No relations in the universe of discourse
- No global naming scheme
