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

DOI10.1007/978-3-642-39992-3_19zbMATH Open1395.03039OpenAlexW2108840809MaRDI QIDQ2849433FDOQ2849433

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

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

Mathematics Subject Classification ID

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

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)