Element 'logical inference algorithms'