A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation. - Arief Daynes (Arch. Math. Log., 2000)

A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic. - Arief Daynes (Math. Log. Q., 2006)

Paraconsistent games and the limits of rational self-interest. - Arief Daynes; Panagiotis Andrikopoulos; Paraskevas Pagas; David Latimer (Australas. J. Log., 2015)