Login / Signup

On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality.

Tarek Sayed Ahmed
Published in: Math. Log. Q. (2015)
Keyphrases
  • optimal solution
  • database
  • computational properties
  • neural network
  • lower bound
  • data model
  • mathematical model
  • expressive power
  • temporal reasoning
  • inference rules
  • default logic
  • exact solution