The Mathematics of Sentence Structure
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Recognizability in the Simply Typed Lambda-Calculus
- SUBSTRUCTURAL INQUISITIVE LOGICS
- 1999 Spring Meeting of the Association for Symbolic Logic
- Structural rules and algebraic properties of intersection types
- Trivalent logics arising from L-models for the Lambek calculus with constants
- The atomic theory of division of semiring ideals
- Some lattice models of bilinear logic
- scientific article; zbMATH DE number 4168913 (Why is no real title available?)
- Using tableaux to automate the Lambek and other categorial calculi
- Study of behaviours via visitable paths
- Infinity and the foundations of linguistics
- Quantales, observational logic and process semantics
- A computational algebraic approach to Latin grammar
- Symmetric categorial grammar
- Quantum computations for disambiguation and question answering
- scientific article; zbMATH DE number 7204444 (Why is no real title available?)
- Categorical approaches to non-commutative fuzzy logic
- Cyclic extensions of order varieties
- Distributional semantics: a Montagovian view
- The atomic theory of division and intersection of semiring ideals
- A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars
- Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus
- Continuation semantics for the Lambek-Grishin calculus
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
- Making first order linear logic a generating grammar
- On Residuation
- Toward discourse representation via pregroup grammars
- A framework for proof systems
- Subexponentials in non-commutative linear logic
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
- Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives
- On the semantics of parsing actions
- Product-free Lambek calculus is NP-complete
- Strong negation in intuitionistic style sequent systems for residuated lattices
- Parsing/theorem-proving for logical grammar \textit{CatLog3}
- Logic and grammar
- Sequent-systems and groupoid models. I
- Modal information logics: axiomatizations and decidability
- A sequent calculus for a semi-associative law
- The finite model property for BCI and related systems
- Ternary relations and relevant semantics
- scientific article; zbMATH DE number 7533344 (Why is no real title available?)
- A note on the strong and weak generative powers of formal systems
- Learnability of type-logical grammars
- 1998 European Summer Meeting of the Association for Symbolic Logic
- On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
- Optional and Iterated Types for Pregroup Grammars
- Extending the Lambek calculus with classical negation
- Non-commutative proof construction: a constraint-based approach
- scientific article; zbMATH DE number 7649886 (Why is no real title available?)
- Gentzen-Mints-Zucker duality
- The atomic theory of multiplication and division of semiring ideals
- Gaifman's theorem on categorial grammars revisited
- Types as graphs: Continuations in type logical grammar
- Language in action
- Convolution and concurrency
- States on commutative basic algebras
- Gaussianity and typicality in matrix distributional semantics
- Natural deduction bottom up
- On some extensions of syntactic concept lattices: completeness and finiteness results
- On families of categorial grammars of bounded value, their learnability and related complexity questions
- Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
- The monotone Lambek calculus is NP-complete
- Husserl's logical grammar
- Linguistic matrix theory
- A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
- Decision problems for propositional linear logic
- Bracket induction for Lambek calculus with bracket modalities
- On the recognizing power of the Lambek calculus with brackets
- Versions of a local contraction subexponential in the Lambek calculus
- Non-commutative logic. III: Focusing proofs.
- Multimodal linguistic inference
- The conjoinability relation in Lambek calculus and linear logic
- The emptiness of intersection problem for languages of \(k\)-valued categorial grammars (classical and Lambek) is undecidable
- A tableau method for the Lambek calculus based on a matrix characterization
- Non-crossing tree realizations of ordered degree sequences
- On the complexity of nonassociative Lambek calculus with unit
- S4 enriched multimodal categorial grammars are context-free
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics
- Learning Lambek grammars from proof frames
- A distributional structured semantic space for querying RDF graph data
- Pair algebras and Galois connections.
- On split negation, strong negation, information, falsification, and verification
- Categorial grammars and their logics
- On the logic of -pregroups
- Parsing pregroup grammars and Lambek calculus using partial composition
- Bifibrations of polycategories and classical linear logic
- Logical foundations for hybrid type-logical grammars
- From quantum foundations via natural language meaning to a theory of everything
- Lower semilattice-ordered residuated semigroups and substructural logics
- Combinatory categorial grammars as generators of weighted forests
- Categorial grammars with iterated types form a strict hierarchy of \(k\)-valued languages
- Powerful and NP-complete: hypergraph Lambek grammars
- Judgement aggregation in non-classical logics
- On the completeness of the Lambek calculus with respect to relativized relational semantics
- Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules
- From word to sentence: a pregroup analysis of the object pronoun \textit{who(m)}
- Recognition of derivability for the Lambek calculus with one division
- Artificial intelligence and language
- Multi-sorted residuation
This page was built for publication: The Mathematics of Sentence Structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3247120)
