Login / Signup

Some Propositional Calculi with Constant and Variable Functors.

John Jones
Published in: Math. Log. Q. (1984)
Keyphrases
  • propositional logic
  • first order logic
  • multi valued
  • statistical relational learning
  • case study
  • lower bound