A calculus for Belnap's logic in which each proof consists of two trees

S. Wintein, R.A. Muskens

Research output: Contribution to journalArticleScientificpeer-review

4 Citations (Scopus)
Original languageEnglish
Pages (from-to)643-656
Number of pages14
JournalLogique et Analyse
Volume220
Publication statusPublished - 2012

Cite this