| |
| 2006 | ||
|---|---|---|
| 2 | EE | Arief Daynes: A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic. Math. Log. Q. 52(6): 540-554 (2006) |
| 2000 | ||
| 1 | EE | Arief Daynes: A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation. Arch. Math. Log. 39(8): 581-598 (2000) |