SCL/For Harry/3

From Public Domain Knowledge Bank
Revision as of 16:53, 26 March 2021 by 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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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
Retrieved from "https://pdkb.chivanet.org/wiki/index.php?title=SCL/For_Harry/3&oldid=1766"