2529 search results - page 140 / 506 » The Logical Structure of Binding |
182
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
We give a graph theoretical criterion on multiplicative additive linear logic (MALL) cut-free proof structures that exactly characterizes those whose interpretation is a hypercliqu...
162
click to vote
ACL
2008
15 years 8 months ago
2008
The standard set of rules defined in Combinatory Categorial Grammar (CCG) fails to provide satisfactory analyses for a number of syntactic structures found in natural languages. T...
202
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...
191
click to vote
SLOGICA
2011
15 years 1 months ago
2011
The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algeb...
173
click to vote
ICDAR
2003
IEEE
16 years 4 days ago
2003
IEEE
In this article we present a study based on the use of texture features for logical pre-labeling. The aim of our work is to calculate a great number of texture features over three...