Arief Daynes

Available identifiers

zbMath Open daynes.ariefMaRDI QIDQ1590192

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3466624	2016-02-01	Paper
A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic	2007-02-02	Paper
A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation	2001-12-18	Paper

Research outcomes over time

This page was built for person: Arief Daynes