LARA

This is an old revision of the document!


  • Monotonicity of semantic consequence
  • Sets of sentences with only finite and with only infinite models
  • Herbrand universe
  • Resolution proofs