Display Logic (1982)

by N Belnap
Venue:Journal of Philosophical Logic