Hybrid Categorial Logics

DOI10.1093/JIGPAL/3.2-3.343MaRDI QIDQ4842277zbMATH OpenOpenAlexFDO

Authors Mark Hepple

Publication date 27 July 1995

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/13125fc188321b2d68c6ff43bc10e41c825dc567

zbMATH Keywords

categorial logicsLambek calculusmultimodalitysubstructural hierarchy

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Recommendations

• Hybrid categorial type logics and the formal treatment of Chinese
• Hybridizing a logical framework
• Categorial inference and modal logic
• scientific article; zbMATH DE number 1689580
• Representation, reasoning, and relational structures: a hybrid logic manifesto

Cited in

(8)

• Hybrid logics of separation axioms
• Partial proof trees, hybrid logic, and quantifier scope
• Graded Hoare logic and its categorical semantics
• Intuitionistic hybrid logic
• Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics
• Hybrid categorial type logics and the formal treatment of Chinese
• Logical Interpolation and Projection onto State in the Duration Calculus
• On the Lambek calculus with an exchange modality

This page was built for publication: Hybrid Categorial Logics

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