The Logic of Ambiguity

Abstract

The paper proposes a logic of ambiguity that takes a large number of natural intuitions about ambiguous entailment into account, by employing evaluation in models with a disambiguation function. Also, the logic satisfies a natural requirement of monotonicity: ambiguous entailments are preserved under further disambiguation. It is sketched how this entailment notion can be axiomatized using Gentzen sequents.