Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency

Jørgen Villadsen

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalJournal of Applied Non-Classical Logics
    Volume15
    Issue number1
    Pages (from-to)45-58
    ISSN1166-3081
    Publication statusPublished - 2005

    Cite this