A calculus for Belnap's Logic in Which Each Proof Consists of Two Trees

Stefan Wintein, R Muskens

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)643-656
Number of pages14
JournalLogique et Analyse
Volume220
Publication statusPublished - 2012
Externally publishedYes

Cite this