2225 search results - page 80 / 445 » Logical Structures in the Lexicon |
135
Voted
CSL
2001
Springer
15 years 10 months ago
2001
Springer
We show in this paper a special extended logic, partition logic based on so called partition quantifiers, is able to capture some important complexity classes NP, P and NL by its ...
121
Voted
ACL
1992
15 years 6 months ago
1992
We present a new compositional tense-aspect deindexing mechanism that makes use of tense trees as components of discourse contexts. The mechanism allows reference episodes to be c...
143
click to vote
LICS
2009
IEEE
16 years 7 days ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
145
click to vote
TAMC
2009
Springer
16 years 4 days ago
2009
Springer
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...
151
Voted
JSYML
2006
15 years 5 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...