Display logic (1982)

by N D Belnap
Venue:Journal of Philosophical Logic