Author:
Colacito Almudena,Galatos Nikolaos,Metcalfe George
Publisher
Springer International Publishing
Reference25 articles.
1. Anderson, A. R., & Belnap, N. D. (1975). Entailment (Vol. 1). Princeton University Press.
2. Avron, A. (1986). On an implication connective of RM. Notre Dame Journal of Formal Logic, 27, 201–209.
3. Avron, A. (1987). A constructive analysis of RM. Journal of Symbolic Logic, 52(4), 939–951.
4. Avron, A. (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57(2–3), 161–184.
5. Baldi, P., & Terui, K. (2016). Densification of FL-chains via residuated frames. Algebra Universalis, 75, 169–195.