Arief Daynes

According to our database, Arief Daynes authored at least 3 papers between 2000 and 2015.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2015

Paraconsistent games and the limits of rational self-interest.

Arief Daynes, Panagiotis Andrikopoulos, Paraskevas Pagas, David Latimer

Australas. J. Log., 2015

2006

A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic.

Arief Daynes

Math. Log. Q., 2006

2000

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