Multimodal Linguistic Inference
From MaRDI portal
Publication:4842279
Cited in
(8)- Unnatural language processing. An empirical study of multimodal proof styles
- Non-associative, non-commutative multi-modal linear logic
- Parsing/theorem-proving for logical grammar \textit{CatLog3}
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
- Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
- scientific article; zbMATH DE number 125980 (Why is no real title available?)
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
- Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)
This page was built for publication: Multimodal Linguistic Inference
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4842279)