The Mathematics of Sentence Structure
From MaRDI portal
Publication:3247120
DOI10.2307/2310058zbMath0080.00702OpenAlexW4242125186WikidataQ55966584 ScholiaQ55966584MaRDI QIDQ3247120
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
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, Categorial Grammars and Their Logics, On the semantics of parsing actions, On contextual domain restriction in categorial grammar, Epistemic closure and commutative, nonassociative residuated structures, Optional and Iterated Types for Pregroup Grammars, The atomic theory of multiplication and division of semiring ideals, Product-free Lambek calculus and context-free grammars, A Lost Croatian Cybernetic Machine Translation Program, Sufficient conditions for cut elimination with complexity analysis, On Split Negation, Strong Negation, Information, Falsification, and Verification, S4 enriched multimodal categorial grammars are context-free, Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic, Type logics and pregroups, Parsing pregroup grammars and Lambek calculus using partial composition, A mixed \(\lambda\)-calculus, On the logic of \(\beta\)-pregroups, Should pregroup grammars be adorned with additional operations?, Covert Movement in Logical Grammar, Categorial Grammars and Minimalist Grammars, Good Types Are Useful for Learning, Grammar specification in categorial logics and theorem proving, A DISTRIBUTIONAL STRUCTURED SEMANTIC SPACE FOR QUERYING RDF GRAPH DATA, Quine's Philosophy of Language and Polish Logic, Head or tail? de morgan on the bounds of traditional logic, Stochastic Lambek Categorial Grammars, The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable, Learnability of type-logical grammars, k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures, A Tableau Method for the Lambek Calculus based on a Matrix Characterization, The Combinatory Morphemic Lexicon, Intuitionistic categorial grammar, Lambek calculus is NP-complete, Efficiency of pregroups and the French noun phrase, Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms, On Meta-Knowledge and Truth, Linear axiomatics of commutative product-free Lambek calculus, Non-commutative proof construction: a constraint-based approach, 1999 Spring Meeting of the Association for Symbolic Logic, Product-Free Lambek Calculus Is NP-Complete, Recognition of derivability for the Lambek calculus with one division, Lambek calculus with one division and one primitive type permitting empty antecedents, The length of joins in Lambek calculus, THE CONCEPTHORSEIS A CONCEPT, Connexive Conditional Logic. Part I, DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS, Recognizability in the Simply Typed Lambda-Calculus, On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar, The Categorial Logic of Vacuous Components in Natural Language, Bell States and Negative Sentences in the Distributed Model of Meaning, Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing, Models for the Displacement Calculus, On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results, Undecidability of the Lambek Calculus with a Relevant Modality, Unnamed Item, Unnamed Item, The finite model property for BCI and related systems, Linguistic matrix theory, Unnamed Item, 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05, Contrary-to-duty reasoning: a categorical approach, Extensions of Lambek Calculi, Categorial dependency grammars, Unnamed Item, A Labelled Deductive System for Relational Semantics of the Lambek Calculus, Lower semilattice-ordered residuated semigroups and substructural logics, Gaussianity and typicality in matrix distributional semantics, The conjoinability relation in Lambek calculus and linear logic, Proving theorems of the second order Lambek calculus in polynomial time, On the completeness of the Lambek calculus with respect to relativized relational semantics, MELL in the calculus of structures, Bifibrations of polycategories and classical linear logic, Eilenberg-Kelly reloaded, Pair algebras and Galois connections., The sequent calculus of skew monoidal categories, Logical foundations for hybrid type-logical grammars, On the recognizing power of the Lambek calculus with brackets, Symmetric categorial grammar, Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution, Models for the Lambek calculus, Reducts of relation algebras: the aspects of axiomatisability and finite representability, The Lambek calculus extended with intuitionistic propositional logic, Some lattice models of bilinear logic, Gaifman's theorem on categorial grammars revisited, On the universality of atomic and molecular logics via protologics, Sequent-systems and groupoid models. I, Ternary relations and relevant semantics, Meaning and interpretation. I, The atomic theory of left division of two-sided ideals of semirings with unit, Tree models and (labeled) categorial grammar, Extending Lambek grammars to basic categorial grammars, Multimodal linguistic inference, Fibred semantics for feature-based grammar logic, Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus, Logical approximation for program analysis, Symmetric generalized Galois logics, Linguistic\(\leftrightarrow \)rational agents' semantics, Categorical approaches to non-commutative fuzzy logic, Product-free Lambek calculus is NP-complete, Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives, A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic, On translating context-free grammars into Lambek grammars, States on commutative basic algebras, Categorial grammars with iterated types form a strict hierarchy of \(k\)-valued languages, A restricted fragment of the Lambek calculus with iteration and intersection operations, An algebraic correctness criterion for intuitionistic multiplicative proof-nets, Relational semantics of the Lambek calculus extended with classical propositional logic, Non-commutative logic. III: Focusing proofs., The categorical imperative: category theory as a foundation for deontic logic, Language in action, Infinitary action logic: complexity, models and grammars, A polynomial algorithm for the membership problem with categorial grammars, Natural deduction bottom up, Nonsymmetric \(^{\ast}\)-autonomous categories, Decision problems for propositional linear logic, Natural language syntax and first-order inference, The atomic theory of division of semiring ideals, On translating Lambek grammars with one division into context-free grammars, Agnostic hyperintensional semantics, The equational theories of representable residuated semigroups, The atomic theory of division and intersection of semiring ideals, Modal translations in substructural logics, Logic and grammar, Semantic vector models and functional models for pregroup grammars, Continuation semantics for the Lambek-Grishin calculus, A framework for proof systems, Dynamic non-commutative logic, On families of categorial grammars of bounded value, their learnability and related complexity questions, Semantic bootstrapping of type-logical grammar, Unidirectional Lambek grammars in polynomial time, Proof complexity of substructural logics, The multiplicative-additive Lambek calculus with subexponential and bracket modalities, A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars, Pregroups and natural language processing, Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus, Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules, Types as graphs: Continuations in type logical grammar, Toward discourse representation via pregroup grammars, From word to sentence: a pregroup analysis of the object pronoun \textit{who(m)}, Functional completeness for subsystems of intuitionistic propositional logic, Lambek calculus with conjugates, The tree-generative capacity of combinatory categorial grammars, Infinity and the foundations of linguistics, Coherence in Cartesian closed categories and the generality of proofs, Optionality, scope, and licensing: An application of partially ordered categories, Let's plan it deductively!, Infinitary action logic with exponentiation, A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi, On the complexity of nonassociative Lambek calculus with unit, Hypergraph Lambek grammars, Soft subexponentials and multiplexing, Schur complements obey Lambek's categorial grammar: Another view of Gaussian elimination and LU decomposition, Using tableaux to automate the Lambek and other categorial calculi, Non-associative, non-commutative multi-modal linear logic, Modal logic as metalogic, Lambek calculus and its relational semantics: Completeness and incompleteness, Quantum computations for disambiguation and question answering, On S, A computational algebraic approach to Latin grammar, On finite models of the Lambek calculus, Informational interpretation of substructural propositional logics, Powerful and NP-complete: hypergraph Lambek grammars, A note on the strong and weak generative powers of formal systems, Regular algebra applied to language problems, The Pentus theorem for Lambek calculus with simple nonlogical axioms, Extending the Lambek calculus with classical negation
