LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:exercises_05 [2008/03/25 14:02]
piskac
sav08:exercises_05 [2008/03/25 14:02]
piskac
Line 28: Line 28:
  
   * Semantic proof of drinker'​s paradox   * Semantic proof of drinker'​s paradox
-  * Monotonicity of semantic consequence +
-  * Sets of sentences with only finite and with only infinite models +
-  * Herbrand universe +
-  * Resolution proofs+