The Mathematics of Sentence Structure
From MaRDI portal
Publication:3247120
DOI10.2307/2310058zbMath0080.00702OpenAlexW4242125186WikidataQ55966584 ScholiaQ55966584MaRDI QIDQ3247120
No author found.
Publication date: 1958
Published in: The American Mathematical Monthly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2310058
Related Items (only showing first 100 items - show all)
On Lambek’s Restriction in the Presence of Exponential Modalities ⋮ Deductive systems and categories ⋮ Unnamed Item ⋮ Convolution and concurrency ⋮ Hypergraph Basic Categorial Grammars ⋮ Combinatory categorial grammars as generators of weighted forests ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Proof Theory of Partially Normal Skew Monoidal Categories ⋮ Embedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \) ⋮ RELEVANCE FOR THE CLASSICAL LOGICIAN ⋮ Making first order linear logic a generating grammar ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ Modal information logics: axiomatizations and decidability ⋮ Bracket induction for Lambek calculus with bracket modalities ⋮ Stripping isn't so mysterious, or anomalous scope, either ⋮ Versions of a local contraction subexponential in the Lambek calculus ⋮ Structural rules and algebraic properties of intersection types ⋮ Complexity of the universal theory of residuated ordered groupoids ⋮ Unnamed Item ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ On Jacobson’s “Towards a Variable-Free Semantics” ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Commutative Lambek grammars ⋮ Fibrational Linguistics (FibLang): Language Acquisition ⋮ Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ DisCoCat for Donkey Sentences ⋮ Multimodality in the Hypergraph Lambek Calculus ⋮ Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic ⋮ Designing efficient controlled languages for ontologies ⋮ What Is the Sense in Logic and Philosophy of Language ⋮ Proof nets for multiplicative cyclic linear logic and Lambek calculus ⋮ A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras ⋮ Monoidal logics: completeness and classical systems ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ Unnamed Item ⋮ NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮ On Residuation ⋮ NP-Completeness of Grammars Based Upon Products of Free Pregroups ⋮ Distributional Semantics: A Montagovian View ⋮ Learning Lambek Grammars from Proof Frames ⋮ Multi-Sorted Residuation ⋮ Italian Clitic Patterns in Pregroup Grammar: State of the Art ⋮ On Associative Lambek Calculus Extended with Basic Proper Axioms ⋮ L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents ⋮ Extended Lambek Calculi and First-Order Linear Logic ⋮ The Monotone Lambek Calculus Is NP-Complete ⋮ The Hidden Structural Rules of the Discontinuous Lambek Calculus ⋮ Cyclic Extensions of Order Varieties ⋮ Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars ⋮ Unnamed Item ⋮ Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages ⋮ Husserl's Logical Grammar ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ Subexponentials in non-commutative linear logic ⋮ UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS ⋮ The Mathematics of Text Structure ⋮ Aspects of Categorical Recursion Theory ⋮ Pomset Logic ⋮ Pregroup Grammars, Their Syntax and Semantics ⋮ The Sequent Calculus of Skew Monoidal Categories ⋮ Connecting Sequent Calculi with Lorenzen-Style Dialogue Games ⋮ COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR ⋮ 1998 European Summer Meeting of the Association for Symbolic Logic ⋮ A geometrical representation of the basic laws of categorial grammar ⋮ Simulating polyadic modal logics by monadic ones ⋮ \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures ⋮ Normal Forms for Multiple Context-Free Languages and Displacement Lambek Grammars ⋮ Categorial grammars determined from linguistic data by unification ⋮ Quantales, observational logic and process semantics ⋮ Meaning and interpretation. II ⋮ Strong negation in intuitionistic style sequent systems for residuated lattices ⋮ Language-theoretic and finite relation models for the (full) Lambek calculus ⋮ UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS ⋮ Trivalent logics arising from L-models for the Lambek calculus with constants ⋮ Residuation in existential graphs ⋮ Language models for some extensions of the Lambek calculus ⋮ Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing ⋮ Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening ⋮ Non-normal modalities in variants of linear logic ⋮ A comparison between monoidal and substructural logics ⋮ Judgement aggregation in non-classical logics ⋮ Unique typed basic categorial grammars ⋮ Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids ⋮ Editorial introduction: substructural logics and metainferences ⋮ Extending the Curry-Howard interpretation to linear, relevant and other resource logics ⋮ Lambek Grammars with One Division Are Decidable in Polynomial Time ⋮ On involutive nonassociative Lambek calculus ⋮ Parsing/theorem-proving for logical grammar \textit{CatLog3} ⋮ \(\mathrm{NL}_\lambda\) as the logic of scope and movement ⋮ A new correctness criterion for the proof nets of non-commutative multiplicative linear logics ⋮ Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening ⋮ Non-crossing Tree Realizations of Ordered Degree Sequences ⋮ On the Logic of Expansion in Natural Language ⋮ Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus ⋮ The displacement calculus ⋮ Relational models for the Lambek calculus with intersection and unit ⋮ Infinitary action logic with multiplexing
This page was built for publication: The Mathematics of Sentence Structure
