Funder
Alexander von Humboldt-Stiftung
Publisher
Springer Science and Business Media LLC
Reference47 articles.
1. Avron, A. (1996). The method of hypersequents in the proof theory of propositional non-classical logics. In Hodges, W., Hyland, M., Steinhorn, C., Truss, J. (Eds.) Logic: from Foundation to Applications, European Logic Colloquium (pp. 1–32). Oxford: Oxford University Press.
2. Belnap, N.D. (1982). Display logic. Journal of Philosophical Logic, 11(4), 375–417.
https://doi.org/10.1007/bf00284976
.
3. Belnap, N.D. (1989). Linear logic displayed. Notre Dame Journal of Formal Logic, 31(1), 14–25.
https://doi.org/10.1305/ndjfl/1093635329
.
4. Belnap, N.D. (1996). The display problem. In Wansing, H. (Ed.) Proof Theory of Modal Logic, Applied Logic Series, (Vol. 2 pp. 79–92). Dordrecht: Kluwer Academic Publishers.
https://doi.org/10.1007/978-94-017-2798-3_6
.
5. van Benthem, J. (2001). Correspondence theory. In Gabbay, D.M., & Guenther, F. (Eds.) Handbook of Philosophical Logic, (Vol. 3 pp. 325–408): Springer.
https://doi.org/10.1007/978-94-017-0454-0_4
.