Original language | Undefined/Unknown |
---|---|
Pages (from-to) | 643-656 |
Number of pages | 14 |
Journal | Logique et Analyse |
Volume | 220 |
Publication status | Published - 2012 |
Externally published | Yes |
A calculus for Belnap's Logic in Which Each Proof Consists of Two Trees
Stefan Wintein, R Muskens
Research output: Contribution to journal › Article › Academic › peer-review
6
Citations
(Scopus)