Belnap, Nuel Linear logic displayed. (English) Zbl 0706.03043 Notre Dame J. Formal Logic 31, No. 1, 14-25 (1990). Reviewer: L.Goble MSC: 03F05 03B70 03B45 PDFBibTeX XMLCite \textit{N. Belnap}, Notre Dame J. Formal Logic 31, No. 1, 14--25 (1990; Zbl 0706.03043) Full Text: DOI
Belnap, Nuel D. jun. Display logic. (English) Zbl 0509.03008 J. Philos. Logic 11, 375-417 (1982). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{N. D. Belnap jun.}, J. Philos. Log. 11, 375--417 (1982; Zbl 0509.03008)
Belnap jun., Nuel D.; Gupta, Anil; Dunn, J. Michael A consecutive calculus for positive relevant implication with necessity. (English) Zbl 0448.03010 J. Philos. Logic 9, 343-362 (1980). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{N. D. Belnap jun.} et al., J. Philos. Log. 9, 343--362 (1980; Zbl 0448.03010)