Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference27 articles.
1. Aglianò, P., ‘An algebraic investigation of linear logic’, Rapporto Matematico 297, Università di Siena, 1996.
2. Aglianò, P., ‘Ternary deduction terms in residuated structures’, Acta Scientiarum Mathematicarum Szeged 64, 3–4 (1998), 397–429.
3. Anderson, M., and T. Feil, Lattice-Ordered Groups: An Introduction, Reidel, Dordrecht, 1988.
4. Avron, A., ‘The semantics and proof theory of linear logic’, Theoretical Computer Science 57 (1988), 161–184.
5. Avron, A., ‘Some properties of linear logic proved by semantic methods’, Journal of Logic and Computation 4 (1994), 929–938.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献