Author:
Bimbó Katalin,Dunn J. Michael
Reference19 articles.
1. Birkhoff, G., Lattice Theory, American Mathematical Society, Providence, 1967.
2. Allwein, G., and J. M. Dunn, "Kripke models for linear logic", The Journal of Symbolic Logic, vol. 58 (1993), pp. 514–45.
3. Belnap, N., "Life in the undistributed middle", pp. 31–41 in Substructural Logics, edited by erseeditorsnames K. Došen and P. Schroeder-Heister, Oxford University Press, New York, 1993.
4. Belnap, N. D., Jr., "A useful four-valued logic", pp. 5–37 in Modern Uses of Multiple-Valued Logic, edited by erseeditorsnames J. M. Dunn and G. Epstein, Reidel, Dordrecht, 1977.
5. Bimbó, K., "Semantics for structurally free logics $\mathit{LC}+$", Logic Journal of the IGPL, vol. 9 (2001), pp. 525–39.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献