Infinite-Valued Propositional Type Theory for Semantics

Jørgen Villadsen

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

    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. 2005 → 3 apr. 2005
    Konferencens nummer: 1

    Konference

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

    Link til dokument

      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)