Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics

DOI10.1007/978-3-642-39992-3_19zbMath1395.03039OpenAlexW2108840809MaRDI QIDQ2849433

Yoshihiro Maruyama

Publication date: 17 September 2013

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39992-3_19

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory ⋮ Fibered universal algebra for first-order logics ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION

This page was built for publication: Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics