331 search results - page 28 / 67 » Fragments of order |
TBILLC
2005
Springer
14 years 2 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ā¤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deļ...
AIML
2008
13 years 10 months ago
2008
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
AMAI
2007
Springer
13 years 8 months ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into ļ¬rst order logic and resolution theorem prov...
MT
2010
13 years 7 months ago
2010
Phrase-based decoding is conceptually simple and straightforward to implement, at the cost of drastically oversimpliļ¬ed reordering models. Syntactically aware models make it pos...
TIP
1998
13 years 8 months ago
1998
Abstractā We discuss a new type of holographic image representations that have advantages in a ādistributedā world. We call these representations holographic. Arbitrary porti...