Infinite-Valued Propositional Type Theory for Semantics

Jørgen Villadsen

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

    Original languageEnglish
    Title of host publicationHandbook of the First World Congress and School on Universal Logic
    EditorsJean-Yves Beziau, Alexandre Costa-Leite
    Publication date2005
    Pages102
    Publication statusPublished - 2005
    Event1st World Congress and School on Universal Logic  - UNILOG'05 - Montreaux, Switzerland
    Duration: 26 Mar 20053 Apr 2005
    Conference number: 1

    Conference

    Conference1st World Congress and School on Universal Logic  - UNILOG'05
    Number1
    Country/TerritorySwitzerland
    CityMontreaux
    Period26/03/200503/04/2005

    Cite this