Login / Signup

Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic.

Manuel ClavelJosé MeseguerMiguel Palomino
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • horn logic
  • modal logic
  • logic programming
  • propositional logic
  • classical logic
  • first order logic
  • theorem proving
  • belief change
  • logical framework
  • horn clauses