Pages that link to "Item:Q3010331"
From MaRDI portal
The following pages link to Logical Aspects of Computational Linguistics (Q3010331):
Displayed 49 items.
- Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework (Q3010332) (← links)
- Using Logic in the Generation of Referring Expressions (Q3010333) (← links)
- Polarized Classical Non-associative Lambek Calculus and Formal Semantics (Q3010334) (← links)
- The Product-Free Lambek-Grishin Calculus Is NP-Complete (Q3010336) (← links)
- Copredication, Quantification and Frames (Q3010337) (← links)
- On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types (Q3010338) (← links)
- Closure Properties of Minimalist Derivation Tree Languages (Q3010339) (← links)
- Well-Nestedness Properly Subsumes Strict Derivational Minimalism (Q3010340) (← links)
- Minimalist Tree Languages Are Closed Under Intersection with Recognizable Tree Languages (Q3010341) (← links)
- Do Dialogues Have Content? (Q3010343) (← links)
- Contextual Analysis of Word Meanings in Type-Theoretical Semantics (Q3010344) (← links)
- Logic Programming of the Displacement Calculus (Q3010345) (← links)
- Conditional Logic C b and Its Tableau System (Q3010347) (← links)
- Are (Linguists’) Propositions (Topos) Propositions? (Q3010348) (← links)
- Event in Compositional Dynamic Semantics (Q3010350) (← links)
- Using Tree Transducers for Grammatical Inference (Q3010352) (← links)
- Distributional Learning of Abstract Categorial Grammars (Q3010353) (← links)
- Some Generalised Comparative Determiners (Q3010354) (← links)
- Logical Grammars, Logical Theories (Q4981243) (← links)
- Ludics and Natural Language: First Approaches (Q4981244) (← links)
- The Non Cooperative Basis of Implicatures (Q4981245) (← links)
- Movement-Generalized Minimalist Grammars (Q4981246) (← links)
- Toward the Formulation of Presupposition by Illative Combinatory Logic (Q4981248) (← links)
- Abstract Automata and a Normal Form for Categorial Dependency Grammars (Q4981249) (← links)
- Importing Montagovian Dynamics into Minimalism (Q4981250) (← links)
- CoTAGs and ACGs (Q4981251) (← links)
- Gapping as Like-Category Coordination (Q4981252) (← links)
- L-Completeness of the Lambek Calculus with the Reversal Operation (Q4981253) (← links)
- Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free (Q4981254) (← links)
- Common Nouns as Types (Q4981255) (← links)
- Extractability as the Deduction Theorem in Subdirectional Combinatory Logic (Q4981257) (← links)
- Agnostic Possible Worlds Semantics (Q4981258) (← links)
- Abstract Machines for Argumentation (Q4981259) (← links)
- On the Completeness of Lambek Calculus with Respect to Cofinite Language Models (Q4981260) (← links)
- Dot-types and Their Implementation (Q4981261) (← links)
- Building PMCFG Parsers as Datalog Program Transformations (Q4981264) (← links)
- Representing Anaphora with Dependent Types (Q4981265) (← links)
- An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents (Q4981266) (← links)
- Adverbs in a Modern Type Theory (Q4981267) (← links)
- An Algebraic Approach to Multiple Context-Free Grammars (Q4981268) (← links)
- An ACG View on G-TAG and Its g-Derivation (Q4981269) (← links)
- On Harmonic CCG and Pregroup Grammars (Q4981270) (← links)
- The Granularity of Meaning in Proof-Theoretic Semantics (Q4981271) (← links)
- Late Merge as Lowering Movement in Minimalist Grammars (Q4981272) (← links)
- Pseudogapping as Pseudo-VP Ellipsis (Q4981273) (← links)
- Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories (Q4981275) (← links)
- Semantically Inactive Multiplicatives and Words as Types (Q4981276) (← links)
- Generalising Predicate and Argument Invariance (Q4981277) (← links)
- Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? (Q4981278) (← links)