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)