Publisher
Springer International Publishing
Reference44 articles.
1. Ackermann, W. (1956). Begründung einer strengen Implikation. Journal of Symbolic Logic, 21, 113–128.
2. Allwein, G., & Dunn, J. M. (1993). Kripke models for linear logic. Journal of Symbolic Logic, 58, 514–545.
3. Anderson, A. R., & Belnap, N. D. (1975). Entailment (Vol. 1). Princeton, NJ: Princeton University Press.
4. Anderson, A. R, Jr., & N. D. B., and Dunn, J. M., (1992). Entailment (Vol. 2). Princeton, NJ: Princeton University Press.
5. Berman, J. (1977). Distributive lattices with an additional unary operation. Aequationes Mathematicae, 16, 165–171.