Topic: GENERAL LOGIC
A Logic for Ambiguous Description
By Arthur Buchsbaum
A logic formalizing ambiguity, which appears both in natural language and in mathematical discourse, is presented, through a sequent calculus and a semantics, together with some elementary results.
Author Keywords: ambiguous description; designators; rigidity
Appeared in 'Electronic Notes in Theoretical Computer Science' Volume 67, October 2002, Pages 1-18 WoLLIC'2002, 9th Workhop on Logic, Language, Information and Computation