nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15202
nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15202: test task in FineEnvs/nayana-ocr-env, an RL environment on the Hugging Face Hub. Which of the following is NOT a feature of additive linear logic? A. It forms a term calculus for sum—product categories. B. It…
The task
Which of the following is NOT a feature of additive linear logic? A. It forms a term calculus for sum—product categories. B. It has a semantics of bi-Cartesian categories. C. It includes a polynomial-time decision procedure. D. It is a fragment of linear logic with units. Return only the single uppercase letter of the correct option.
Task details
- language
- en
- family
- mcq_vqa
- mime
- image/jpeg
- media ready
- False