Deduction Systems Based on Resolution
Norbert Eisinger, Hans Jürgen Ohlbach · 1993
Abstract Statements about the real world or about Active or abstract worlds are often interrelated in that some of them follow from others. For example, given the statements: ‘Every cat eats fish’ ‘Garfield is a cat’ ‘Garfield eats fish’ one would agree that the third statement follows from the other two. Whenever we assume the first and the second statement to be true (in our considered world), we also have to accept the truth of the third statement.