Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency

Jørgen Villadsen

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

Originalsprog	Engelsk
Titel	Proceedings of WCP-2003
Publikationsdato	2003
Sider	73
Status	Udgivet - 2003
Begivenhed	World Congress on Paraconsistency - Toulouse Varighed: 28 jul. 2003 → 31 jul. 2003 Konferencens nummer: 3

Konference	World Congress on Paraconsistency
Nummer	3
By	Toulouse
Periode	28/07/2003 → 31/07/2003

Citer dette

@inproceedings{01b1b95052be11dba4bc000ea68e967b,

title = "Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency",

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

year = "2003",

language = "English",

pages = "73",

booktitle = "Proceedings of WCP-2003",

note = "World Congress on Paraconsistency ; Conference date: 28-07-2003 Through 31-07-2003",

}