2225 search results - page 108 / 445 » Logical Structures in the Lexicon |
160
click to vote
ENTCS
2010
15 years 6 months ago
2010
The validity/satisfiability problem for most propositional interval temporal logics is (highly) undecidable, under very weak assumptions on the class of interval structures in whi...
140
click to vote
ICCD
1991
IEEE
15 years 10 months ago
1991
IEEE
This article proposes a completion-detection method for efficiently implementing Boolean functions as self-timed logic structures. Current-Sensing Completion Detection, CSCD, allow...
184
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
173
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...
150
click to vote
ACL
2008
15 years 7 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...