SCL/For Harry/3

From Public Domain Knowledge Bank
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"