Dialectica categories for the Lambek calculus

DOI10.1007/978-3-319-72056-2_16zbMath1503.03032arXiv1801.06883OpenAlexW2768367595MaRDI QIDQ1709707

Harley Eades III, V. C. V. de Paiva

Publication date: 6 April 2018

Full work available at URL: https://arxiv.org/abs/1801.06883

zbMATH Keywords

Lambek calculuslinear logictype theorystructural rulescategorical semanticsnon-commutativeDialectica models

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (6)

The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ Morphisms of open games ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Dialectica categories for the Lambek calculus