Multi-Sorted Residuation

Reference. Multi-Sorted Residuation

Wojciech Buszkowski · Categories and Types in Logic, Language, and Physics · 2014 · substructural · Web

Cite

Cite as @buszkowski_2014 (helia, typst) · \cite{buszkowski_2014} (LaTeX)

BibTeX

bibtex · 11 lines

@incollection{buszkowski_2014,
 title = {Multi-Sorted Residuation},
 author = {Buszkowski, Wojciech},
 year = {2014},
 booktitle = {Categories and Types in Logic, Language, and Physics},
 series = {Lecture Notes in Computer Science},
 volume = {8222},
 pages = {136--155},
 publisher = {Springer},
 url = {https://link.springer.com/chapter/10.1007/978-3-642-54789-8_8}
}

hayagriva YAML (typst)

yaml · 15 lines

buszkowski_2014:
  type: anthos
  title: Multi-Sorted Residuation
  author: Buszkowski, Wojciech
  date: 2014
  page-range: 136-155
  url: https://link.springer.com/chapter/10.1007/978-3-642-54789-8_8
  parent:
    type: anthology
    title: Categories and Types in Logic, Language, and Physics
    publisher: Springer
    volume: 8222
    parent:
      type: anthology
      title: Lecture Notes in Computer Science

Download: buszkowski_2014.bib · buszkowski_2014.yml

Cites 31 works (2 here)

With notes (2)

Introduction to Higher-Order Categorical Logic lambek_scott_19861986

Web

The mathematics of sentence structure lambek58Amer. Math. Monthly · 1958

DOI

External (29)

On Canonical Embeddings of Residuated Groupoids (2014)
Many-sorted gaggles (2012)
Interpolation and FEP for logics of residuated algebras (2011)
Disjunction property and complexity of substructural logics (2011)
Lattices and Ordered Algebraic Structures (2010)
Agreement and Cliticization in Italian: A Pregroup Analysis (2010)
Nonassociative Lambek Calculus with Additives and Context-Free Languages (2009)
Distributive Full Lambek Calculus has the Finite Model Property (2009)
Symmetric Categorial Grammar (2009)
Generalized Galois Logics. Relational Semantics of Nonclassical Logical Calculi (2008)
Residuated Lattices: An Algebraic Glimpse at Substructural Logics (2007)
Lambek Calculus with Nonlogical Axioms (2005)
Residuation, structural rules and context-freeness (2004)
Classical Nonassociative Lambek Calculus (2002)
The Lambek Calculus Enriched with Additional Connectives (2002)
Product pregroups as an alternative to inflectors (2002)
Modal Logic (2001)
Categorial Type Logic (1997)
From Categorial Grammar to Bilinear Logic (1993)
Language in Action. Categories, Lambdas and Dynamic Logic (1991)
The equivalence of nonassociative Lambek categorial grammars and context-free grammars (1988)
Generative Capacity of Nonassociative Lambek Calculus (1986)
On the calculus of syntactic types (1961)
Boolean algebras with operators. Part I (1952)
Boolean algebras with operators. Part II (1952)
Finite Embeddability Property for Residuated Groupoids
Relational semantics of the Lambek calculus extended with classical propositional logic
Powerset Residuated Algebras
Nonassociative Lambek Calculus with Modalities: Interpolation, Complexity and FEP