The following pages link to (Q3220566):
Displayed 23 items.
- When are different type-logical semantic definitions defining equivalent meanings? (Q439958) (← links)
- A revised projectivity calculus for inclusion and exclusion reasoning (Q783670) (← links)
- A `natural logic' inference system using the Lambek calculus (Q851198) (← links)
- Symmetric and contrapositional quantifiers (Q1006450) (← links)
- From environments to representations -- a mathematical theory of artificial perceptions (Q1274888) (← links)
- Functoriality and grammatical role in syllogisms (Q1333307) (← links)
- Intensionality and context change. Towards a dynamic theory of propositions and properties (Q1334988) (← links)
- Semantic bootstrapping of type-logical grammar (Q1778102) (← links)
- Standard quantification theory in the analysis of English (Q1868333) (← links)
- Towards an algebraic semantics for implicatives (Q2228452) (← links)
- Partial algebras, meaning categories and algebraization (Q2368946) (← links)
- Categorial grammars determined from linguistic data by unification (Q2639050) (← links)
- Entailments with sentential predicates (Q2695544) (← links)
- Quantification in English is Inherently Sortal (Q2757987) (← links)
- Facing the truth: Some advantages of direct interpretation (Q3312194) (← links)
- A semantic characterization of natural language determiners (Q3770504) (← links)
- Semantics and factor analysis: An approach to the interpretation of factors (Q4299545) (← links)
- From compositional to systematic semantics (Q4312344) (← links)
- Self-commuting quantifiers (Q4879908) (← links)
- Some properties of intercategorial entailment (Q4924542) (← links)
- On the Logical Expressive Power of Natural Languages (Q6075165) (← links)
- On Barwise and Cooper’s “Generalized Quantifiers and Natural Language” (Q6186932) (← links)
- Designing efficient controlled languages for ontologies (Q6201612) (← links)