Supra-logic: using transfinite type theory with type variables for paraconsistency
Work
Year: 2005
Type: article
Author Jørgen Villadsen
Institution Roskilde University
Cites: 46
Cited by: 4
Related to: 10
FWCI:
Citation percentile (by year/subfield): 66.51
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed