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

Jørgen Villadsen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageEnglish
    Title of host publicationProceedings of WCP-2003
    Publication date2003
    Pages73
    Publication statusPublished - 2003
    EventWorld Congress on Paraconsistency - Toulouse
    Duration: 28 Jul 200331 Jul 2003
    Conference number: 3

    Conference

    ConferenceWorld Congress on Paraconsistency
    Number3
    CityToulouse
    Period28/07/200331/07/2003

    Cite this