Multi‐Modal Type‐Logical Grammar

Abstract

This chapter contains sections titled: Introduction Grammatical Composition as Inference Structural Constraints on Inference Implicit Grammatical Concepts Implicational Reasoning The Curry–Howard Correspondence Hypothetical Reasoning with Higher-Order Types Higher-Order Types and “Empty Categories” Surface Polymorphism Modal Control I: Licensing Behavior Modal Control II: Exacting Behavior Surface Polymorphism Revisited I: Dutch Surface Polymorphism Revisited II: English Conclusions References

Cite this work

No public copy is stored for this record, so only the metadata is cited.

Stored only when both papers are in the corpus — 18 citations exist upstream.

Papers that cite the same references — the relational fallback while embeddings are still backfilling.