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

Jørgen Villadsen

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Journal of Applied Non-Classical Logics
Vol/bind	15
Udgave nummer	1
Sider (fra-til)	45-58
ISSN	1166-3081
Status	Udgivet - 2005

Link til dokument

@article{cd9e6cd052bd11dba4bc000ea68e967b,

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

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

year = "2005",

language = "English",

volume = "15",

pages = "45--58",

journal = "Journal of Applied Non-Classical Logics",

issn = "1166-3081",

publisher = "Taylor & Francis",

number = "1",

}