A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics

DOI10.1093/LOGCOM/EXI070MaRDI QIDQ5488609zbMATH OpenOpenAlexFDO

Authors Miki Tanaka, John Power

Publication date 22 September 2006

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exi070

zbMATH Keywords

substructural logicslogic of bunched implicationsinitial algebra semanticspseudo-distributive lawpseudo-monadsubstitution monoidal structureuntyped contexts

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Categorical logic, topoi (03G30)

Recommendations

• Abstract syntax: substitution and binders
• scientific article; zbMATH DE number 5360218
• Typed Lambda Calculi and Applications
• Pseudo-distributive laws and axiomatics for variable binding
• scientific article; zbMATH DE number 1759453

Cited in

(11)

• The existential completion
• Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding
• On the formal theory of pseudomonads and pseudodistributive laws
• Typed Lambda Calculi and Applications
• Classical lambda calculus in modern dress
• Pseudo-distributive laws and axiomatics for variable binding
• Abstract syntax: substitution and binders
• Elements of a theory of algebraic theories
• Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\)
• Heterogeneous substitution systems revisited
• scientific article; zbMATH DE number 5360218 (Why is no real title available?)

This page was built for publication: A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics

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