A Logic for Ambiguous Description

Arthur Buchsbaum

A Logic for Ambiguous Description

2002

Arthur Buchsbaum

Abstract 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.

Keywords:

Natural deduction
Semantics
Ambiguity
Cut-elimination theorem
Sequent calculus
Proof calculus
Algorithm
Noncommutative logic
Sequent
Mathematics
Programming language
Natural language processing
Theoretical computer science
Computer science
Artificial intelligence
Natural language

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations