1486 search results - page 167 / 298 » Mathematical Fuzzy Logics |
314
click to vote
AMSTERDAM
2009
15 years 3 months ago
2009
In this paper I describe a formal semantics for iconic spatial gestures. My claim is that the meaning of iconic gestures can be captured with an appropriate mathematical theory of ...
269
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
139
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. Undefined terms are commonplace in mathematics, particularly in calculus. The traditional approach to undefinedness in mathematical practice is to treat undefined terms a...
131
click to vote
WOLLIC
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
162
click to vote
LFCS
2007
Springer
16 years 15 days ago
2007
Springer
Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi....