Logical Interpretation Law and Legal Definition

Logical interpretation means abstract interpretation over logical lattices. Such interpretation departs from the literal words on the ground that there may be other, more satisfactory evidence of the author’s true intention. It raises new challenges for theorem proving.