Original language | English |
---|---|
Pages (from-to) | 643-656 |
Number of pages | 14 |
Journal | Logique et Analyse |
Volume | 220 |
Publication status | Published - 2012 |
A calculus for Belnap's logic in which each proof consists of two trees
S. Wintein, R.A. Muskens
Research output: Contribution to journal › Article › Scientific › peer-review
6
Citations
(Scopus)