3385 search results - page 188 / 677 » Language, Logic, and the Brain |
152
click to vote
CMMR
2007
Springer
16 years 23 days ago
2007
Springer
Recently can be observed a growing interest in the effects of music on humans. Music has been called a food or a multi-sensory fitness of the brain. Many studies have already confi...
185
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
205
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
161
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different app...
163
click to vote
ICDT
2007
ACM
16 years 22 days ago
2007
ACM
The first aim of this paper is to present the logical core of XPath 2.0: a logically clean, decidable fragment, which includes most navigational features of XPath 2.0 (complex co...