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

Cite this

@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 = "Nationaal Centrum voor Navorsingen in de Logica (Centre National de Recherches de Logique)",

}