Infinite-Valued Propositional Type Theory for Semantics

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Original language	English
Title of host publication	Dimensions of Logical Concepts
Editors	Jean-Yves Béziau, Alexandre Costa-Leite
Place of Publication	Campinas, Brazil
Publisher	UNICAMP
Publication date	2009
Pages	277-297
ISBN (Print)	978-85-86497-05-6
Publication status	Published - 2009

Series	Coleção CLE
Number	54

OpenUrl availability

@inbook{2204e8d7595e46ec9e89a1e1e11a2f07,

title = "Infinite-Valued Propositional Type Theory for Semantics",

author = "J{\o}rgen Villadsen",

year = "2009",

language = "English",

isbn = "978-85-86497-05-6",

series = "Cole{\c c}{\~a}o CLE",

number = "54",

pages = "277--297",

editor = "Jean-Yves B{\'e}ziau and Alexandre Costa-Leite",

booktitle = "Dimensions of Logical Concepts",

publisher = "UNICAMP",

}