Original language | English |
---|---|

Pages (from-to) | 643-656 |

Number of pages | 14 |

Journal | Logique et Analyse |

Volume | 220 |

Publication status | Published - 2012 |

### Cite this

Wintein, S., & Muskens, R. A. (2012). A calculus for Belnap's logic in which each proof consists of two trees.

*Logique et Analyse*,*220*, 643-656.@article{3f5eef30f04c43cb8c675510ee918547,

title = "A calculus for Belnap's logic in which each proof consists of two trees",

author = "S. Wintein and R.A. Muskens",

note = "Pagination: 14",

year = "2012",

language = "English",

volume = "220",

pages = "643--656",

journal = "Logique et Analyse",

issn = "0024-5836",

publisher = "CENTRE NATIONAL BELGE RECHERCHES LOGIQUE",

}

Wintein, S & Muskens, RA 2012, 'A calculus for Belnap's logic in which each proof consists of two trees'

*Logique et Analyse*, vol. 220, pp. 643-656.**A calculus for Belnap's logic in which each proof consists of two trees.** / Wintein, S.; Muskens, R.A.

Research output: Contribution to journal › Article › Scientific › peer-review

TY - JOUR

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

AU - Wintein, S.

AU - Muskens, R.A.

N1 - Pagination: 14

PY - 2012

Y1 - 2012

M3 - Article

VL - 220

SP - 643

EP - 656

JO - Logique et Analyse

JF - Logique et Analyse

SN - 0024-5836

ER -

Wintein S, Muskens RA. A calculus for Belnap's logic in which each proof consists of two trees. Logique et Analyse. 2012;220:643-656.