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

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

    Cite this