Display logic (1982)

by Nuel Belnap
Venue:Journal of Philosophical Logic