Infinite-Valued Propositional Type Theory for Semantics

Jørgen Villadsen

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    OriginalsprogEngelsk
    TitelHandbook of the First World Congress and School on Universal Logic
    RedaktørerJean-Yves Beziau, Alexandre Costa-Leite
    Publikationsdato2005
    Sider102
    StatusUdgivet - 2005
    Begivenhed1st World Congress and School on Universal Logic  - UNILOG'05 - Montreaux, Schweiz
    Varighed: 26 mar. 20053 apr. 2005
    Konferencens nummer: 1

    Konference

    Konference1st World Congress and School on Universal Logic  - UNILOG'05
    Nummer1
    LandSchweiz
    ByMontreaux
    Periode26/03/200503/04/2005

    Citer dette

    Villadsen, J. (2005). Infinite-Valued Propositional Type Theory for Semantics. I J-Y. Beziau, & A. Costa-Leite (red.), Handbook of the First World Congress and School on Universal Logic (s. 102)