Paraconsistent arithmetic with a local consistency operator and global selfreference

zbMATH Open1276.03024MaRDI QIDQ2863910

Paolo Gentilini

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066107000473?np=y

zbMATH Keywords

provability logiclocal and global self-referenceparaconsistent arithmeticweakened Hilbert's program

Mathematics Subject Classification ID

Could not fetch data.

Related Items (1)

Proof theory and mathematical meaning of paraconsistent C-systems

This page was built for publication: Paraconsistent arithmetic with a local consistency operator and global selfreference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2863910)