Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic;Abrusci;The Journal of Symbolic Logic,1991
2. Formal properties of literal shuffle;Bérard;Acta Cybernetica,1987
3. Weakly distributive categories;Cockett;Journal of Pure and Applied Algebra,1997
4. On passing from singular to plural consequences;Došen,1999
5. Substructural Logics,1993
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Explosion Calculus;Studia Logica;2019-04-12
2. Comments on an Opinion;Advances in Proof-Theoretic Semantics;2015-10-25
3. On the Paths of Categories;Advances in Proof-Theoretic Semantics;2015-10-25