Environments
An environment is a set (conjuction) of assumptions.
Given an environment E and a set of justifications J,
means that the node is derivable from the assumptions of E, through the justification in J.
An environment can be considered as a view of the world characterized by a set of assumptions. The environment characterized by the empty environment correspondes to a model of the world which includes only known facts, without assumptions. The other envi