The Power of Belnap: Sequent Systems for SIXTEEN ₃ [Book Review]

Journal of Philosophical Logic 39 (4):369 - 393 (2010)


The trilattice SIXTEEN₃ is a natural generalization of the wellknown bilattice FOUR₂. Cut-free, sound and complete sequent calculi for truth entailment and falsity entailment in SIXTEEN₃, are presented

Download options


    Upload a copy of this work     Papers currently archived: 72,743

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

44 (#261,394)

6 months
2 (#258,871)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum

References found in this work

Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Modal Logic.Alexander Chagrov - 1997 - Oxford, England: Oxford University Press.

View all 24 references / Add more references