Publisher
Oxford University Press (OUP)
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algebraic Proof Theory for LE-logics;ACM Transactions on Computational Logic;2024-01-17
2. An Expressivist Strategy to Understand Logical Forms;Logic and Logical Philosophy;2023-05-16
3. Linear Logic Properly Displayed;ACM Transactions on Computational Logic;2023-01-28
4. Lambek–Grishin Calculus: Focusing, Display and Full Polarization;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
5. On the Universality of Atomic and Molecular Logics via Protologics;Logica Universalis;2022-06