Searching for "Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier An Abstract." – sorted by Relevance.
123,367 documents found, showing 1 through 10.
Next 10 →
-
Encoding Generic Judgments
- … relations defined using term-level abstractions, generic judgment are generally required. Care must be taken…
- Cited by 2 (2 self) – Add To MetaCart
-
Combining generic judgments with recursive definitions
- … (recursive definitions) and an encoding of binding constructs via generic judgments. However, the logics…
- Cited by 1 (0 self) – Add To MetaCart
-
A Proof Theory for Generic Judgments
- … of prooflevel abstraction via generic judgment and a new quantifier, ∇, which explicitly manipulates such local…
- Cited by 32 (5 self) – Add To MetaCart
-
A proof theory for generic judgments: An extended abstract
- … containing abstractions involves meta-level, universally quantified generic judgments. We present a proof…
- Cited by 30 (11 self) – Add To MetaCart
-
A logic for reasoning about generic judgments
- …Abstract LFMTP 2006 A Logic for Reasoning about Generic Judgments Alwen Tiu Australian National…
- Cited by 3 (1 self) – Add To MetaCart
-
Generics And Defaults
- … Statements of Regularities 2: Semantic Analyses of Generics 2.1: Relevant Quantification 2.2: Abstract…
- Cited by 6 (0 self) – Add To MetaCart
-
Judgment Types and the Structure of Causatives
- … THETIC JUDGMENT â Weak or strong subject, depending on 2.2 Spanish Clause Structure 13 the quantifier…
- Add To MetaCart
-
Judgment
- … the software CMM effectively and correctly requires professional judgment and an understanding of how the CMM…
- Add To MetaCart
-
Judgment aggregation: a short introduction
- … problems have in common, abstracting from the speci…cs of concrete cases. The recent interest in judgment…
- Add To MetaCart
-
The Knowledge in Multiple Human Relevance Judgments
- …The Knowledge in Multiple Human Relevance Judgments W. JOHN WILBUR National Center…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
