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

Jørgen Villadsen

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    OriginalsprogEngelsk
    TitelProceedings of WCP-2003
    Publikationsdato2003
    Sider73
    StatusUdgivet - 2003
    BegivenhedWorld Congress on Paraconsistency - Toulouse
    Varighed: 28 jul. 200331 jul. 2003
    Konferencens nummer: 3

    Konference

    KonferenceWorld Congress on Paraconsistency
    Nummer3
    ByToulouse
    Periode28/07/200331/07/2003

    Citer dette

    Villadsen, J. (2003). Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. I Proceedings of WCP-2003 (s. 73)
    Villadsen, Jørgen. / Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. Proceedings of WCP-2003. 2003. s. 73
    @inproceedings{01b1b95052be11dba4bc000ea68e967b,
    title = "Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency",
    author = "J{\o}rgen Villadsen",
    year = "2003",
    language = "English",
    pages = "73",
    booktitle = "Proceedings of WCP-2003",

    }

    Villadsen, J 2003, Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. i Proceedings of WCP-2003. s. 73, World Congress on Paraconsistency, Toulouse, 28/07/2003.

    Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. / Villadsen, Jørgen.

    Proceedings of WCP-2003. 2003. s. 73.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    TY - GEN

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

    AU - Villadsen, Jørgen

    PY - 2003

    Y1 - 2003

    M3 - Article in proceedings

    SP - 73

    BT - Proceedings of WCP-2003

    ER -