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

DOI10.1007/978-3-642-39992-3_19MaRDI QIDQ2849433zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Partial hyperdoctrines: categorical models for partial function logic and Hoare logic
• Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
• Category theoretic semantics for theorem proving in logic programming: embracing the laxness
• Categorical models for a semantically linear \(\lambda\)-calculus
• A categorical semantics for linear logical frameworks
• A Completeness Theorem for the Lambek Calculus of Syntactic Categories
• scientific article; zbMATH DE number 3871337
• Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
• Hybrid Categorial Logics
• Categorical abstract algebraic logic: subdirect representation for classes of structure systems

Cited in

(8)

• Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
• Fibered universal algebra for first-order logics
• Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky
• Partial hyperdoctrines: categorical models for partial function logic and Hoare logic
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
• A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
• Categories with families and first-order logic with dependent sorts

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849433)