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

initial algebra semanticslogic of bunched implicationspseudo-distributive lawpseudo-monadsubstitution monoidal structuresubstructural logicsuntyped contexts

Mathematics Subject Classification ID

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

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)

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

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)