Author:
Bimbó Katalin,Dunn J.~Michael
Reference28 articles.
1. [1] Allwein, G., and J. M. Dunn, "Kripke models for linear logic", The Journal of Symbolic Logic, vol. 58 (1993), pp. 514--45.
2. [2] Anderson, A. R., and N. D. Belnap, Jr., Entailment. The Logic of Relevance and Necessity, vol. 1, Princeton University Press, Princeton, 1975.
3. [3] Bimbó, K., "Semantics for structurally free logics LC$+$", Logic Journal of the IGPL, vol. 9 (2001), pp. 525--39.
4. [4] Bimbó, K., "Semantics for dual and symmetric combinatory calculi", Journal of Philosophical Logic, vol. 33 (2004), pp. 125--53.
5. [5] Bimbó, K., and J. M. Dunn, "Two extensions of the structurally free logic $\rm LC$", Logic Journal of the IGPL, vol. 6 (1998), pp. 403--24.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献